Algebraic specification of modules and their basic interconnections
Journal of Computer and System Sciences
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Data models and languages for databases
Lecture notes in computer science on ICDT '88
Abstract object types for databases
Lecture notes in computer science on Advances in object-oriented database systems
Instance inheritance mechanisms for object oriented databases
Lecture notes in computer science on Advances in object-oriented database systems
Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
Name collision in multiple classification hierarchies
on ECOOP '88 (European Conference on Object-Oriented Programming)
Readings in object-oriented database systems
Readings in object-oriented database systems
PDM: an object-oriented data model
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
An Association Algebra For Processing Object-Oriented Databases
Proceedings of the Seventh International Conference on Data Engineering
Semantics of Block Structured Languages with Pointers
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Workshop on Categorial Methods in Computer Science: With Aspects from Topology
Objects, Object Types, and Object Identification
Workshop on Categorial Methods in Computer Science: With Aspects from Topology
Categorical Semantics, Or Extending Data Types to Include Memory
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
On the Algebraic Specification of Domains
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Categories, Data Types and Imperative Languages
Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Research Frontiers in Object Technology
Information Systems Frontiers
Object-Oriented specification composition and refinement via category theoretic computations
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Hi-index | 0.00 |
The paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms and those defined with nested relations in complex database models. An algebraic specification is set up that involves structures of net objects, accesses of net objects, and some features of object-oriented programming, such as multiple inheritance and polymorphism. Objects and their relationships are then characterized formally in the modeling, which utilizes the hierarchical approach in the algebraic theory of abstract data types, and is further developed by adding mechanisms from existing object systems. Categories of net objects are presented with the properties of accesses among them.