Boundedness is undecidable for datalog programs with a single recursive rule
Information Processing Letters
A theory for rule triggering systems
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
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
Equivalence, query-reachability and satisfiability in Datalog extensions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
The complexity of querying indefinite information: defined relations, recursion and linear order
The complexity of querying indefinite information: defined relations, recursion and linear order
Undecidable optimization problems for database logic programs
Journal of the ACM (JACM)
Computing with first-order logic
Selected papers of the 23rd annual ACM symposium on Theory of computing
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Structural Issues in Active Rule Systems
ICDT '97 Proceedings of the 6th International Conference on Database Theory
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Using the Properties of Datalog to Prove Termination and Confluence in Active Databases
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Termination analysis of active rules modular sets
Proceedings of the tenth international conference on Information and knowledge management
Decidability of First-Order Logic Queries over Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Detecting Termination of Active Database Rules Using Symbolic Model Checking
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
A Dynamic Approach to Termination Analysis for Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
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
TriGS Debugger - A Tool for Debugging Active Database Behavior
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Improving Termination Analysis of Active Rules with Composite Events
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Refined rules termination analysis through transactions
Information Systems
Termination Analysis in Active Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Active rules and active databases: concepts and applications
Effective databases for text & document management
On the decidability of the termination problem of active database systems
Theoretical Computer Science
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
REX, the rule and event eXplorer
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
On the Termination Problem for Declarative XML Message Processing
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Logical queries over views: Decidability and expressiveness
ACM Transactions on Computational Logic (TOCL)
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Journal of Computer and System Sciences
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Implementing Business Processes: A Database Trigger Approach
International Journal of Knowledge-Based Organizations
Hi-index | 0.00 |