A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.
Michele BugliesiHasan M. JamilPublished in: ICDT (1995)
Keyphrases
- object oriented languages
- stable model semantics
- object oriented
- logic programs
- answer set programming
- stable models
- object oriented databases
- object oriented programming
- database applications
- logic programming
- data model
- programming language
- answer sets
- rdf graphs
- modulo theories
- design patterns
- database technology
- software engineering
- deductive databases
- database
- fixpoint
- database design
- distributed systems
- relational databases
- case study