An Algebraic Approach to Rule Analysis in Expert Database Systems

No abstract is available for this paper.

• Publication year

  1994

• Venue

  Very Large Data Bases Conference

• Publication date

  1994-09-12

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Using Delta Relations to Optimize Condition Evaluation in Active Databases

  1995cited by this paper
• Conditional Term Rewriting as a Formal Basis for Active Database Rules.

  1994cited by this paper
• Conditional term rewriting as a formal basis for analysis of active database rules

  1994cited by this paper
• Index support for rule activation

  1993cited by this paper
• Queries Independent of Updates

  1993cited by this paper
• Termination and Confluence of Rule Execution Termination and Connuence of Rule Execution

  1993cited by this paper
• An overview of production rules in database systems

  1993influential reference
• Termination and confluence of rule execution

  1993cited by this paper
• Better Termination Analysis for Active Databases

  1993cited by this paper
• Implementing High Level Active Rules on Top of a Relational DBMS

  1992cited by this paper
• Behavior of database production rules: termination, confluence, and observable determinism

  1992influential reference
• Rule condition testing and action execution in Ariel

  1992cited by this paper
• Set-oriented constructs: from Rete rule bases to database systems

  1991cited by this paper
• Determinism in partially ordered production systems

  1991cited by this paper
• Incremental Recomputation of Active Relational Expressions

  1991cited by this paper
• Independence of logic database queries and update

  1990cited by this paper
• A Theory for Rule Triggering Systems

  1990cited by this paper
• Logic Programming and Databases

  1990cited by this paper
• Deriving Production Rules for Constraint Maintainance

  1990cited by this paper
• Principles of database and knowledge- base systems

  1989cited by this paper
• Situation Monitoring for Active Databases

  1989cited by this paper
• The Relational Production Language: A Production Language for Relational Databases

  1988cited by this paper
• Implementing large production systems in a DBMS environment: concepts and algorithms

  1988cited by this paper
• Principles of database and knowledge-base systems, Vol. I

  1988cited by this paper
• On the Coupling of a Production System Shell and a DBMS

  1988cited by this paper
• Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries

  1985cited by this paper
• Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions

  1982cited by this paper
• Scotland

  1928cited by this paper

• Extending Abstract Interpretation to Dependency Analysis of Database Applications

  2020influential citation
• Design and implementation of ETL processes using BPMN and relational algebra

  2020cites this paper
• Data-centric Refinement of Database-Database Dependency Analysis of Database Program

  2020cites this paper
• Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems

  2019cites this paper
• Reducing Property Graph Queries to Relational Algebra for Incremental View Maintenance

  2018influential citation
• Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications

  2016cites this paper
• Refining dependencies for information flow analysis of database applications

  2016influential citation
• Data-Centric Refinement of Information Flow Analysis of Database Applications

  2015influential citation
• Scenario-driven development and runtime evolution of context-aware adaptive software systems

  2013cites this paper
• Analysis of production rules in expert systems of diagnosis

  2013cites this paper
• Scenario-Based Validation of Requirements for Context-Aware Adaptive Services

  2013cites this paper
• Pattern-Based ETL Conceptual Modelling

  2013cites this paper
• Abstract program slicing of database query languages

  2013influential citation
• Slicing of Database Query Languages

  2012influential citation
• Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs

  2012cites this paper
• Extending abstract interpretation to new applicative scenarios

  2012cites this paper
• Model-driven rule composition for event-based systems

  2011cites this paper
• Using relational algebra on the specification of Slowly Changing Dimensions - a first step

  2011cites this paper
• Analyzing Triggers in XML Data Integration Systems

  2010cites this paper
• A multimedia streaming system with self-healing infrastructure

  2010cites this paper
• Towards a Service-Oriented Architecture for Operational BI

  2010cites this paper
• Constraints and triggers to enhance XML-based data integration systems

  2009cites this paper
• Management of composite event for active database rule scheduling

  2009cites this paper
• Rule-Based Event Processing and Reaction Rules

  2009cites this paper
• Improving Medical Database Consistency with Induced Trigger Rules

  2009cites this paper
• Slowly Changing Dimensions Specification a Relational Algebra Approach

  2009cites this paper
• Enabling Tool Support for Formal Analysis of ECA Rules

  2009cites this paper
• Effect Preservation in Transaction Processing in Rule Triggering Systems

  2008cites this paper
• An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems

  2007cites this paper
• Solution architecture for detecting and preventing fraud in real time

  2007cites this paper
• A concurrent rule scheduling algorithm for active rules

  2007influential citation
• The Priority of Rules and the Termination Analysis Using Petri Nets

  2007cites this paper
• Analysing the Process of Enforcing Integrity Constraints

  2007cites this paper
• Object Algebras : What is Wrong ?

  2007cites this paper
• Event-driven rules for sensing and responding to business situations

  2007cites this paper
• Model-driven development of context-aware Web applications

  2007cites this paper
• Etknet: a distributed event- and rule-based system for knowledge sharing in a collaborative federation

  2007cites this paper
• Event-condition-action rules on RDF metadata in P2P environments

  2006cites this paper
• Termination Analysis in Active Databases by Using Evolution Graphs

  2005cites this paper
• On the decidability of the termination problem of active database systems

  2004cites this paper
• Using Fuzzy Petri Nets for Static Analysis of Rule-Bases

  2004cites this paper
• Analysis of Functional Active Databases

  2004cites this paper
• Active Rules and Active Databases: Concepts and Application

  2003cites this paper
• Effective Databases for Text & Document Management

  2003cites this paper
• Termination Analysis of Active Rules with Priorities

  2003cites this paper
• Termination and Confluence by Rule Prioritization

  2003cites this paper
• XML SCHEMA-BASED TRIGGERS

  2003cites this paper
• Promoting Agent-Based Knowledge Discovery in Medical Intensive Care Units

  2003cites this paper
• Dynamic construction mechanism of a trigger graph on active databases in mobile computing environments

  2003cites this paper
• Analysis and optimisation of event-condition-action rules on XML

  2002cites this paper
• Improving the Refined Triggering Graph Method for Active Rules Termination Analysis

  2002cites this paper
• An event-condition-action language for XML

  2002cites this paper
• Analysis and optimization of active databases

  2002influential citation
• A reference architecture for adaptive hypermedia applications

  2002cites this paper
• Active rules for XML: A new paradigm for E-services

  2001cites this paper
• Managing Workflow Authorization Constraints through Active Database Technology

  2001cites this paper
• Detecting Termination of Active Database Rules Using Symbolic Model Checking

  2001cites this paper
• Termination Analysis of Active Rules Modular Sets

  2001cites this paper
• Analysis and Optimisation of Active Database Rules Using Abstract Interpretation and Partial Evaluation

  2001cites this paper
• INTEGRATED VERIFICATION OF CONSTRAINTS AND EVENT-AND-ACTION- ORIENTED BUSINESS RULES

  2001cites this paper
• Termination analysis of active rules modular sets

  2001influential citation
• Improving Termination Analysis of Active Rules with Composite Events

  2001influential citation
• A Rule Termination Analyser in Active DBMS

  2000cites this paper
• Using Patterns to Design Rules in Workflows

  2000influential citation
• Better Static Rule Analysis for Active Database Systems

  2000cites this paper
• Terminaison des règles actives dans les bases de données orientées objet

  2000cites this paper
• An algebraic approach to static analysis of active database rules

  2000cites this paper
• An environment for designing exceptions in work(cid:13)ows

  1999cites this paper
• Unrolling Cycles to Decide Trigger Termination

  1999cites this paper
• Active Rule Analysis and Optimisation in the Rock & Roll Deductive Object-Oriented Database

  1999influential citation
• Analysis of Active Database Rules Behavior Using Rewriting Logic

  1999cites this paper
• 3 Rule Analysis

  1999cites this paper
• An Abstract Interpretation Framework for Termination Analysis of Active Rules

  1999cites this paper
• KWM: Knowledge-based Workflow Model for Agile Organization

  1999cites this paper
• Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method

  1999cites this paper
• Specification and implementation of exceptions in workflow management systems

  1999cites this paper
• Active database systems

  1999cites this paper
• No. 568 Termination Analysis of Active Database Rules - Techniques for Increased Precision

  1998influential citation
• Decidability and undecidability results for the termination problem of active database rules

  1998cites this paper
• WERDE: A Pattern-Based Tool for Exception Design in Workflows

  1998cites this paper
• On Logical Foundations of Active Databases

  1998cites this paper
• Study of termination of a set of active rules in an object oriented DBMS at the conceptual level

  1998cites this paper
• Compile-Time and Runtime Analysis of Active Behaviors

  1998influential citation
• Active Rules in Database Systems

  1998cites this paper
• Declarative semantics for active rules

  1998cites this paper
• An Environment for Designing Exceptions in Workflows

  1998cites this paper
• Refined Termination Decision in Active Databases

  1997cites this paper
• Investigating Termination in Active Database Systems with Expressive Rule Languages

  1997influential citation
• An Implenentation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis

  1997cites this paper
• Structuring the process of integrity maintenance (extended version)

  1997cites this paper
• Abstract Interpretation of Active Rules and its Use in Termination Analysis

  1997influential citation
• Structuring the Process of Integrity Maintenance

  1997cites this paper
• On the Foundations of Termination Analysis of Active Database Rules

  1997influential citation
• Using the Properties of Datalog to Prove Termination and Confluence in Active Databases

  1997cites this paper
• Debugging and Run-time Monitoring of Active Rules

  1997cites this paper
• Specifying Active Database Systems in an Object-Oriented Framework

  1997cites this paper
• Analyzing Repetitive Evaluations of Active Rules Within a Transaction

  1996cites this paper
• Support environment for active rule design

  1996cites this paper
• On Active Deductive Databases: The Statelog Approach

  1996cites this paper
• Modularization techniques for active rules design

  1996cites this paper