Searching for "Logic Programming and Databases" – sorted by Relevance.
-
A Logic For Programming Database Transactions
- 1 A LOGIC FOR PROGRAMMING DATABASE TRANSACTIONS Anthony J. Bonner and Michael Kifer Abstract: We
- Cited by 34 (16 self) – Add To MetaCart
-
Logic Programs for Querying Inconsistent Databases
- Logic Programs for Querying Inconsistent Databases Pablo Barcelo Leopoldo Bertossi University
- Cited by 29 (10 self) – Add To MetaCart
-
A Compositional Semantics for Logic Programs and Deductive Databases
- Oettingenstra��e 67, D--80538 Munchen A Compositional Semantics for Logic Programs and Deductive Databases Fran
- Cited by 13 (1 self) – Add To MetaCart
-
Database Programming in Transaction Logic
- Database Programming in Transaction Logic Anthony J. Bonner University of Toronto Department
- Cited by 24 (13 self) – Add To MetaCart
-
Logic Programs for Repairing and Querying Inconsistent Databases
- Logic Programs for Repairing and Querying Inconsistent Databases Pablo Barcelo Leopoldo Bertossi P
- Add To MetaCart
-
Database Query Languages and Functional Logic Programming 1 Database Query Languages and Functional
- Database Query Languages and Functional Logic Programming 1 Database Query Languages
- Add To MetaCart
-
A Relational Algebra for Functional Logic Deductive Databases
- ,abecerrag@(email omitted); Abstract. In this paper, we study the integration of functional logic programming and databases
- Cited by 2 (1 self) – Add To MetaCart
-
Resume
- programming. The research lies on the border of Artificial Intelligence, logic programming and databases
- Add To MetaCart
-
Transaction Logic Programming
- for the phenomenon of state changes in logic programs and databases. Transaction Logic has a natural model theory
- Cited by 94 (18 self) – Add To MetaCart
-
An Overview of Transaction Logic
- programming, databases, and AI. Transaction Logic has a natural model theory and a sound and complete proof
- Cited by 83 (23 self) – Add To MetaCart

