On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types.
Giuseppe ScolloPublished in: ADT (1986)
Keyphrases
- exception handling
- abstract data types
- programming language
- object oriented
- data types
- object oriented databases
- object oriented programming
- relational database systems
- domain independent
- data model
- conflict resolution
- workflow management
- incomplete information
- high level
- agent systems
- domain specific
- relational databases
- query language
- workflow management systems
- artificial intelligence
- formal specification
- knowledge management
- general purpose
- software engineering
- database
- data storage
- distributed systems
- spatio temporal
- database systems