Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.

Agostino Dovier Gianfranco Rossi

Published in: GULP (1993)

Keyphrases

constraint logic programming
databases
data model
database schema
constraint programming
xml schema
case study
database systems
schema integration
digital libraries
xml data
conceptual model
constraint propagation