Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.
Joseph A. GoguenJosé MeseguerPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- multiple inheritance
- theorem proving
- object identity
- object oriented
- complex objects
- algebraic operations
- theorem prover
- inheritance reasoning
- abstract data types
- order sorted
- object oriented databases
- data model
- query language
- object oriented programming
- deductive databases
- relational algebra
- inference rules
- relational model
- data types
- integrity constraints