| |
| |
Treating Programs as Objects: The Computational Proxy Experience | |
| |
| |
| |
Foundations of Aggregation in Deductive Databases | |
| |
| |
| |
The Differential Fixpoint Operator with Subsumption | |
| |
| |
| |
Datalog with Non-Deterministic Choice Computes NDB-PTIME | |
| |
| |
| |
A Deductive and Object-Oriented Approach to a Complex Scheduling Problem | |
| |
| |
| |
On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Database Systems | |
| |
| |
| |
Explaining Program Execution in Deductive Systems | |
| |
| |
| |
A Logic for Rule-Based Query Optimization in Graph-Based Data Models | |
| |
| |
| |
Specifying Rule-Based Query Optimizers in a Reflective Framework | |
| |
| |
| |
Semantic Query Optimization in Deductive Object-Oriented Databases | |
| |
| |
| |
Research in Deductive and Object-Oriented Databases | |
| |
| |
| |
An Implementation Overview of the Aditi Deductive Database System | |
| |
| |
| |
Negation and Aggregates in Recursive Rules: The LDL++ Approach | |
| |
| |
| |
ISALOG -: A Deductive Language with Negation for Complex-Object Databases with Hierarchies | |
| |
| |
| |
On Efficient Reasoning with Implication Constraints | |
| |
| |
| |
Bottom-Up Query Evaluation with Partially Ordered Defaults | |
| |
| |
| |
An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries | |
| |
| |
| |
Query Classes | |
| |
| |
| |
Database Updating Revisited | |
| |
| |
| |
Super-Key Classes for Updating Materialized Derived Classes in Object Bases | |
| |
| |
| |
Applications of Deductive and Object-Oriented Databases | |
| |
| |
| |
Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems | |
| |
| |
| |
A Deductive and Typed Object-Oriented Language | |
| |
| |
| |
Noodle: A Language for Declarative Querying in an Object-Oriented Database | |
| |
| |
| |
Tracking Causal Dependencies in an Active Object-Oriented Database | |
| |
| |
| |
Automatic Class and Method Generation for Object-Oriented Databases | |
| |
| |
| |
Modeling Multilevel Entities Using Single Level Objects | |
| |
| |
| |
A Model Using Classes as a Basic Organization Tool | |
| |
| |
| |
Knowledge Base Revision Using Circumscription | |
| |
| |
| |
Versioning of Objects in Deductive Databases | |
| |
| |
| |
A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems | |
| |