About Boundedness for some DATALOG and DATALOG_neg Programs.
Irène GuessarianMarcos Veloso PeixotoPublished in: MFCS (1992)
Keyphrases
- datalog programs
- expressive power
- deductive databases
- recursive programs
- fixpoint
- query answering
- database languages
- fixpoint semantics
- logic programs
- logic programming
- integrity constraints
- query language
- data complexity
- transitive closure
- program synthesis
- databases
- relational query languages
- datalog queries
- conjunctive queries
- existentially quantified
- containment of conjunctive queries
- stable models
- transformation rules
- relational calculus
- finite state machines
- object oriented databases
- website
- information systems
- ontology based data access
- machine learning