A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects.
Kamel BarkaouiNoureddine BoudrigaAmel Grissa TouziPublished in: DEXA (1992)
Keyphrases
- deductive databases
- integrity constraints
- closed world assumption
- integrity checking
- functional dependencies
- fixpoint
- constraint checking
- database schema
- query answering
- semantic query optimization
- active rules
- model theoretic
- conjunctive queries
- xml documents
- database transactions
- query evaluation
- datalog programs
- artificial intelligence
- consistent query answering
- expert systems