An overview of transaction logic
- 24 October 1994
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 133 (2) , 205-265
- https://doi.org/10.1016/0304-3975(94)90190-2
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Hypothetical datalog: complexity and expressibilityTheoretical Computer Science, 1990
- Paraconsistent logic programmingTheoretical Computer Science, 1989
- Procedural and declarative database update languagesPublished by Association for Computing Machinery (ACM) ,1988
- A logic-programming/object-oriented cocktailACM SIGMOD Record, 1986
- N-Prolog: An extension of Prolog with hypothetical implications. I.The Journal of Logic Programming, 1984
- Towards a general theory of action and timeArtificial Intelligence, 1984
- On the semantics of updates in databasesPublished by Association for Computing Machinery (ACM) ,1983
- Process logic: Expressiveness, decidability, completenessJournal of Computer and System Sciences, 1982
- Computable queries for relational data basesJournal of Computer and System Sciences, 1980
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971