SCKE: Combining logic- with object-oriented paradigm.
Zhi JinShouren HuPublished in: J. Comput. Sci. Technol. (1993)
Keyphrases
- object oriented
- object oriented software development
- object oriented databases
- database applications
- logic programming
- relational databases
- modal logic
- database schema
- database design
- object oriented programming
- automated reasoning
- classical logic
- epistemic logic
- programming language
- data model
- neural network
- combining multiple
- object oriented database systems
- constraint language
- case study