Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Concurrent programming using actors
Object-oriented concurrent programming
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Journal of Symbolic Computation
HiLog as a platform for database languages
Proceedings of the second international workshop on Database programming languages
The two facets of object-oriented data models
Data Engineering
Theoretical foundations for OODB's—a personal perspective
Data Engineering
Logical and computational aspects of programming with sets/bags/lists
Proceedings of the 18th international colloquium on Automata, languages and programming
Handbook of theoretical computer science (vol. B)
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The logic of typed feature structures
The logic of typed feature structures
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communications of the ACM
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A View Mechanism for Object-Oriented Databases
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Operational Semantics of OBJ-3 (Extended Abstract)
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Parallel Programmming in Maude
Research Directions in High-Level Parallel Programming Languages
Multiparadigm Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Journal on data semantics X
| Hi-index | 0.00 |
Although the mathematical foundations of relational databases are very well established, the state of affairs for object-oriented databases is much less satisfactory. We propose a semantic foundation for object-oriented databases based on a simple logic of change called rewriting logic, and a language called MaudeLog that is based on that logic. Some key advantages of our approach include its logical nature, its simplicity without any need for higher-order features, the fact that dynamic aspects are directly addressed, the rigorous integration of user-definable algebraic data types within the framework, the existence of initial models, and the integration of query, update, and programming aspects within a single declarative language.