The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
On the composition and decomposition of datalog program mappings
Lecture notes in computer science on ICDT '88
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
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
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
Generic Computation and its complexity
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
Procedural languages 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
Structural recursion as a query language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Computing with first-order logic
Selected papers of the 23rd annual ACM symposium on Theory of computing
Explicit control of logic programs through rule algebra
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Programming primitives for database languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
Incremental Evaluation of Datalog Queries
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Enforcing Inclusion Dependencies and Referencial Integrity
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Model for Active Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Language Constructs for Programming Active Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Deriving Production Rules for Incremental View Maintenance
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
Implementing High Level Active Rules on Top of a Relational DBMS
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Referential actions as logical rules
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decidability and undecidability results for the termination problem of active database rules
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
An Abstract Interpretation Framework for Termination Analysis of Active Rules
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
On the decidability of the termination problem of active database systems
Theoretical Computer Science
Declarative semantics for active rules
Theory and Practice of Logic Programming
Reactive maintenance of continuous queries
ACM SIGMOBILE Mobile Computing and Communications Review
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |