Extended database logic: Complex objects and deduction.
John GrantTimos K. SellisPublished in: Inf. Sci. (1990)
Keyphrases
- complex objects
- database
- query language
- cad cam
- relational model
- databases
- object representations
- invariant recognition
- relational algebra
- database systems
- intuitionistic logic
- computer algebra
- nested relations
- relational databases
- data model
- database management systems
- data sets
- database applications
- object identity
- inference rules
- modal logic
- database programming language
- deductive reasoning
- data types
- multiple range images