Modelling Non Deterministic Queries and Updates in Deductive Databases.
Christophe de MaindrevilleEric SimonPublished in: VLDB (1988)
Keyphrases
- deductive databases
- query evaluation
- semantic query optimization
- update propagation
- integrity constraints
- logic programming
- constraint checking
- fixpoint
- query processing
- disjunctive deductive databases
- query language
- integrity checking
- fixpoint semantics
- probabilistic databases
- model theoretic
- database
- declarative language
- closed world assumption
- data management
- transitive closure
- view definitions
- declarative semantics
- recursive queries
- data complexity
- semantics of logic programs
- xml data
- database systems
- update operations
- datalog programs
- database queries
- regular expressions
- query answering
- range queries
- natural language
- machine learning