Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract).
Enric MayolJoan Antoni PastorErnest TenienteToni UrpíCarles FarréPublished in: JIDBD (1998)
Keyphrases
- extended abstract
- deductive databases
- update propagation
- integrity constraints
- logic programming
- query evaluation
- fixpoint
- semantic query optimization
- disjunctive deductive databases
- integrity checking
- declarative language
- declarative semantics
- model theoretic
- constraint checking
- closed world assumption
- logic programs
- high level
- query optimization
- general purpose
- software engineering
- database transactions
- database
- semantics of logic programs