Database Transactions in a Purely Declarative Logic Programming Language.
David B. KempThomas C. ConwayEvan P. HarrisFergus HendersonKotagiri RamamohanaraoZoltan SomogyiPublished in: DASFAA (1997)
Keyphrases
- logic programming language
- database transactions
- declarative semantics
- logic programming
- constraint logic programming
- integrity constraints
- execution model
- inference rules
- situation calculus
- knowledge representation
- database
- logic programs
- transaction processing
- transaction model
- knowledge base
- deductive databases
- modal logic
- programming language
- high level
- constraint solving
- data model
- artificial intelligence