Towards Visual Schemas in Deductive Databases.
Jordi PuigsegurJaume Agustí-CullellJoan Antoni PastorPublished in: DEXA (1998)
Keyphrases
- deductive databases
- integrity constraints
- logic programming
- fixpoint
- disjunctive deductive databases
- query evaluation
- integrity checking
- declarative language
- closed world assumption
- semantic query optimization
- databases
- declarative semantics
- object identity
- hypothetical reasoning
- xml schema
- logical implication
- database schema
- data integration
- model theoretic
- data sources
- semantics of logic programs
- functional dependencies
- xml documents
- machine learning
- query answering
- schema mappings
- query optimization
- logic programs
- view definitions
- constraint checking
- artificial intelligence