Database Programming in Transaction Logic
Data up to Jan 2025
Total Citations Per Year
Abstract
References (34)
Towards a general theory of action and time
1984 • 2,602 citations
Logical foundations of object-oriented and frame-based languages
1995 • 1,489 citations
Foundations of Deductive Databases and Logic Programming
1988 • 994 citations
On the difference between updating a knowledge base and revising it
1992 • 876 citations
On the Declarative Semantics of Deductive Databases and Logic Programs
1988 • 562 citations
Structure and complexity of relational queries
1982 • 539 citations
The architecture of an active database management system
1989 • 446 citations
Computable queries for relational data bases
1980 • 444 citations
Objects and views
1991 • 363 citations
Ode as an Active Database: Constraints and Triggers
1991 • 250 citations
Set-oriented production rules in relational database systems
1990 • 235 citations
Stable models and non-determinism in logic programs with negation
1990 • 231 citations
On rules, procedures, caching and views in database systems
1994 • 207 citations
Process logic: Expressiveness, decidability, completeness
1982 • 139 citations
Transaction logic programming
1993 • 132 citations
Procedural and declarative database update languages
1988 • 109 citations
Updating relational databases through object-based views
1991 • 95 citations
A Model for Active Object Oriented Databases
1991 • 91 citations
A Logic-based Language for Database Updates
1988 • 86 citations
Glue-Nail
1991 • 81 citations
Intensional updates: abduction via deduction
1990 • 76 citations
Database updates in logic programming
1988 • 68 citations
Language Constructs for Programming Active Databases
1991 • 58 citations
Non-Deterministic Choice in Datalog
1988 • 57 citations
Hypothetical datalog: complexity and expressibility
1990 • 55 citations
On Maintaining Priorities in a Production Rule System
1991 • 54 citations
A denotational semantics for the Starburst production rule language
1992 • 46 citations
Modelling Non Deterministic Queries and Updates in Deductive Databases
1988 • 43 citations
A model-based approach to updating databases with incomplete information
1988 • 40 citations
New data models and languages---the challenge
1992 • 34 citations
A logic-programming/object-oriented cocktail
1986 • 28 citations
Declarative specification and evaluation of database updates
1991 • 23 citations
Updates and subjunctive queries
1994 • 16 citations
Transaction Logic: An (Early) Exposé
1993 • 2 citations