Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programming and databases
Logic programming and databases
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Semantics for update rule programs and implementation in a relational database management system
Semantics for update rule programs and implementation in a relational database management system
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
On Maintaining Priorities in a Production Rule System
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Implementing Set-Oriented Production Rules as an Extension to Starburst
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Active Database Systems (Abstract)
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Distributed and Parallel Databases
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Trigger Inheritance and Overriding in an Active Object Database System
IEEE Transactions on Knowledge and Data Engineering
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Extending the ODMG Object Model with Triggers
IEEE Transactions on Knowledge and Data Engineering
Declarative semantics for active rules
Theory and Practice of Logic Programming
Performance analysis of long-lived cooperative transactions in active DBMS
Data & Knowledge Engineering
Events and streams: harnessing and unleashing their synergy!
Proceedings of the second international conference on Distributed event-based systems
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A formal framework for database sampling
Information and Software Technology
| Hi-index | 0.00 |
Researchers often complain that the behavior of database production rules is difficult to reason about and understand, due in part to the lack of formal declarative semantics. It has even been claimed that database production rule languages inherently cannot be given declarative semantics, in contrast to, e.g., deductive database rule languages. In this short paper we dispute this claim by giving a denotational semantics for the Starburst database production rule language.