A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Three approaches to type structure
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Data model issues for object-oriented applications
ACM Transactions on Information Systems (TOIS)
An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Type evolution in an object-oriented database
Research directions in object-oriented programming
Mapping a semantic database model to the relational model
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Semantics and implementation of schema evolution in object-oriented databases
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
Integrating an object-oriented programming system with a database system
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
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
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
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
Semantics of types for database objects
Theoretical Computer Science
Subtyping can have a simple semantics
Theoretical Computer Science
A semantics of object-oriented sets
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
A framework for schema updates in an object-oriented database system
Building an object-oriented database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Foundation for Evolution from Relational to Object Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
ESOP '88 Proceedings of the 2nd European Symposium on Programming
A Framework for Schema Updates In An Object-Oriented Database System
Proceedings of the Seventh International Conference on Data Engineering
The deductive synthesis of database transactions
The deductive synthesis of database transactions
The IMPRESS DDT: a database design toolbox based on a formal specification language
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
A Formal Definition of the Chimera Object-Oriented Data Model
Journal of Intelligent Information Systems
The Role of Integrity Constraints in Database Interoperation
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
The object-oriented data model TM is a language that is based on the formal theory of FM, a typed language with object-oriented features such as attributes and methods in the presence of subtyping. The general (typed) set constructs of FM allow one to deal with (database) constraints in TM.The paper describes the theory of FM, and discusses the role that set expressions may play in conceptual database schemas. Special attention is paid to the treatment of constraints, and a three-step specification approach is proposed. This approach results in the formal notion of database universe stated as an FM expression.