Formalizing φ-calculus: a purely object-oriented calculus of decorated objects.
Nikolai KudasovVioletta SimPublished in: CoRR (2022)
Keyphrases
- object oriented
- cardinal directions
- qualitative spatial reasoning
- d objects
- moving objects
- relational databases
- computer algebra
- object orientation
- spatial relationships
- object oriented languages
- three dimensional
- object identity
- object oriented database systems
- object classes
- database design
- programming language
- data model
- video sequences