Design and implementation of the Wisconsin storage system
Software—Practice & Experience
Join processing in database systems with large main memories
ACM Transactions on Database Systems (TODS)
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Lecture notes in computer science on ICDT '88
Deciding whether a production rule is relational computable
Lecture notes in computer science on ICDT '88
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A theory for rule triggering systems
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
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
Hypothetical datalog: complexity and expressibility
Theoretical Computer Science
Database programming with delayed updates
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Design and implementation of the glue-nail database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
Stream-based versus structured video objects: issues, solutions, and challenges
Multimedia database systems
Explicit control of logic programs through rule algebra
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Differential files: their application to the maintenance of large databases
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Implementation techniques for main memory database systems
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
The Gamma Database Machine Project
IEEE Transactions on Knowledge and Data Engineering
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
An Optimal Resource Scheduler for Continuous Display of Structured Video Objects
IEEE Transactions on Knowledge and Data Engineering
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
Implementation of Delayed Updates in Heraclitus
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
An Implementation of Hypothetical Relations
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Hashing Methods and Relational Algebra Operations
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Object and File Management in the EXODUS Extensible Database System
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Modelling Non Deterministic Queries and Updates in Deductive Databases
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
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
On Implementing a Language for Specifying Active Database Execution Models
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Towards a Framework for Efficient Management of Potentially Conflicting Database Updates
DS-6 Proceedings of the Sixth IFIP TC-2 Working Conference on Data Semantics: Database Applications Semantics
On Detecting Conflict Between Proposed Updates
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
Extending active database systems for the construction of interoperable systems
Extending active database systems for the construction of interoperable systems
Structures for manipulating proposed updates in object-oriented databases
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Algorithms for deferred view maintenance
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A framework for supporting data integration using the materialized and virtual approaches
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A framework for implementing hypothetical queries
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Efficient view maintenance at data warehouses
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Design of Multi-User Editing Servers for Continuous Media
Multimedia Tools and Applications
View Maintenance and Analytical Processing at Data Warehouses
DNIS '00 Proceedings of the International Workshop on Databases in Networked Information Systems
A Case for Deltas in Business-to-Business Electronic Commerce
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Reconciling while tolerating disagreement in collaborative data sharing
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Monitoring data dependencies in concurrent process execution through delta-enabled grid services
International Journal of Web and Grid Services
Efficient Incremental Computation of CUBE in Multiple Versions What-If Analysis
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
Incremental query evaluation in a ring of databases
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Hi-index | 0.00 |
Traditional database systems provide a user with the ability to query and manipulate one database state, namely the current database state. However, in several emerging applications, the ability to analyze “what-if” scenarios in order to reason about the impact of an update (before committing that update) is of paramount importance. Example applications include hypothetical database access, active database management systems, and version management, to name a few. The central thesis of the Heraclitus paradigm is to provide flexible support for applications such as these by elevating deltas, which represent updates proposed against the current database state, to be first-class citizens. Heraclitus[Alg,C] is a database programming language that extends C to incorporate the relational algebra and deltas. Operators are provided that enable the programmer to explicitly construct, combine, and access deltas. Most interesting is the when operator, that supports hypothetical access to a delta: the expression E when &sgr; yields the value that side effect free expression E would have if the value of delta expression &sgr; were applied to the current database state. This article presents a broad overview of the philosophy underlying the Heraclitus paradigm, and describes the design and prototype implementation of Heraclitus[Alg, C]. A model-independent formalism for the Heraclitus paradigm is also presented. To illustrate the utility of Heraclitus, the article presents an in-depth discussion of how Heraclitus[Alg, C] can be used to specify, and thereby implement, a wide range of execution models for rule application in active databases; this includes both prominent execution models presented in the literature, and more recent “customized” execution models with novel features.