OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Implementing large production systems in a DBMS environment: concepts and algorithms
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A logical language for data and knowledge bases
A logical language for data and knowledge bases
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
Making an object-oriented DBMS active: design, implementation, and evaluation of a prototype
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Towards a deductive object-oriented database language
Data & Knowledge Engineering
Integrating object-oriented data modelling with a rule-based programming paradigm
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
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
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Rule processing in active database systems
International Journal of Expert Systems - Special issue on Al and databases
A rule-based update language for complex objects with identity
Data & Knowledge Engineering
Deriving incremental production rules for deductive data
Information Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
Coupling Production Systems and Database Systems: A Homogeneous Approach
IEEE Transactions on Knowledge and Data Engineering
A Production Rule-Based Approach to Deductive Databases
Proceedings of the Fourth International Conference on Data Engineering
A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases
Proceedings of the Ninth International Conference on Data Engineering
Implementing High Level Active Rules on Top of a Relational DBMS
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
On the Unification of Active Databases and Deductive databases
BNCOD 11 Proceedings of the 11th British National Conference on Databases: Advances in Databases
Logic programming languages for databases and the web
A 25-year perspective on logic programming
| Hi-index | 0.01 |
We address the problem of providing a homogeneous framework for integrating, in a database environment, active rules, which allow the specification of actions to be executed whenever certain events take place, and deductive rules, which allow the specification of deductions in a logic programming style. Actually, it is widely recognized that both kinds of rules enhance the capabilities of database systems since they provide very natural mechanisms for the management of various important activities (e.g., knowledge representation, complex data manipulation, integrity constraint enforcement, view maintenance). However, in spite of their strong relationship, little work has been done on the unification of these powerful paradigms. In this paper, we present a rule-based language with an event-driven semantics that allows programmers to express both active and deductive computations. The language is based on a new notion of production rules whose effect is both a change of state and an answer to a query. By using several examples, we show that this simple language schema allows us to uniformly define different computations on data, including complex data manipulations, deductive evaluations, and active rule processing. We define the semantics of the language and then describe the architecture of a preliminary implementation of the language. Finally, we report about application and experience of use of the language.