Download:
|
by Mohammad Ashrafuzzaman, Supervisor Anthony, J. Kusalik
http://www.cs.usask.ca/ftp/pub/publications/symposium/95/moa135.ps
Add To MetaCart
Abstract:
The deductive object-oriented database (DOOD) model is an integration of the objectoriented data modeling paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems of the future. The database language of a DOOD system should specifically be based on a logic to facilitate use of deductive database technology and also to provide the theoretical foundation for the underlying data model. In this paper, we survey the languages proposed for deductive object-oriented databases and, in particular, present a more detailed account of two DOOD languages---F-logic and Orlog. Each of these languages is introduced by a short description of its syntax and semantics, and then its data manipulation mechanisms are described. 1
Citations
|
632
|
Logical Foundations of Object-Oriented and FrameBased Languages
– Kifer, Lausen, et al.
- 1995
|
|
260
|
Logic Programming and Databases
– Ceri, Gottlob, et al.
- 1990
|
|
156
|
S.: A Logical Language for Data and Knowledge Bases
– Naqvi, Tsur
- 1989
|
|
153
|
Types and persistence in database programming languages
– Atkinson, Buneman
- 1987
|
|
140
|
Towards a meaning of LIFE
– t-Kaci, Podelski
- 1993
|
|
109
|
S.: Coral - control, relations and logic
– Ramakrishnan, Srivastava, et al.
- 1992
|
|
103
|
Building an Object-Oriented Database System: The Story of O 2
– Bancilhon, Delobel, et al.
- 1992
|
|
85
|
An overview of transaction logic
– Bonner, Kifer
- 1994
|
|
82
|
L&O: Logic and Objects
– McCabe
- 1992
|
|
67
|
Object-Oriented Databases: Definition and Research Directions
– Kim
- 1990
|
|
55
|
Integrating ObjectOriented Data Modeling with a Rule-Based Programming Paradigm
– Cacace, Ceri, et al.
- 1990
|
|
49
|
Methods and rules
– Abiteboul, Lausen, et al.
- 1993
|
|
35
|
A comparison between deductive and object-oriented database systems
– Ullman
- 1991
|
|
26
|
Specific Features of a Deductive Object-Oriented Database Language QUIXOTE
– Yokota, Tsuda, et al.
- 1993
|
|
24
|
Noodle: A language for declarative querying in an object-oriented database
– Mumick, Ross
- 1993
|
|
21
|
A deductive and typed object-oriented language
– Bal, Balsters
- 1993
|
|
20
|
F-logic: A higher order language for reasoning about objects, inheritance, and scheme
– Kifer, Lausen
- 1989
|
|
16
|
A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems
– Dobbie, Topor
- 1993
|
|
16
|
ORLOG: A Logic for Semantic Object-Oriented Models
– Jamil, Lakshmanan
- 1992
|
|
15
|
A logical semantics for object-oriented databases
– Meseguer, Qian
- 1993
|
|
13
|
A stable model semantics for behavioral inheritance in deductive object oriented languages
– Bugliesi, Jamil
- 1995
|
|
11
|
A logic for encapsulation in object oriented languages
– Bugliesi, Jamil
- 1994
|
|
6
|
Realizing Orlog in LDL
– Jamil, Lakshmanan
- 1993
|
|
3
|
Cardinality consistency of derived objects in DOOD systems
– Ye, Parent, et al.
- 1994
|
|
2
|
What is the true path to integrating object-oriented and declarative languages
– Vieille
- 1993
|
