A foundation for conceptual data structures by cylindric and partial algebras (Q1094154)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A foundation for conceptual data structures by cylindric and partial algebras |
scientific article |
Statements
A foundation for conceptual data structures by cylindric and partial algebras (English)
0 references
1987
0 references
Some fundamental mathematical properties of conceptual representation schemes are investigated. Property inheritance of object-oriented approaches are modelled by convex mappings. A reference type of relational calculus is postulated on this basis using a technique similar to the Herbrand universe in logic. Tools of universal algebra are used then to investigate basic properties. References to industrial application projects are also given.
0 references
knowledge representation
0 references
conceptual modelling
0 references
cylindric algebra
0 references
reference relation
0 references
convex mappings
0 references
relational calculus
0 references
