3,413 Hits in 9.0 sec

Semantic query processing in object-oriented databases using deductive approach

S. C. Yoon, I. Y. Song, E. K. Park
1995 Proceedings of the fourth international conference on Information and knowledge management - CIKM '95  
The unique contribution of this paper is that we extend semantic query optimization techniques developed for deductive databases to apply to object-oriented databases.  ...  In this paper, we present a method to utilize semantic constraints that play an important role in search space reduction and termination of query evaluation in object-oriented databases.  ...  The scheme introduces semantic rules for semantic knowledge and compiles those rules together with object-oriented database schema.  ... 
doi:10.1145/221270.221365 dblp:conf/cikm/YoonSP95 fatcat:f5qeo36g5jgbhfblumggqbiycy

A survey of deductive database systems

Raghu Ramakrishnan, Jeffrey D. Ullman
1995 The Journal of Logic Programming  
It is one of the first of the new family of "DOOD" (deductive, object-oriented database) systems.  ...  important to interface object-oriented and logical paradigms in so-called DOOD (Declarative and Object-Oriented Database) systems.  ... 
doi:10.1016/0743-1066(94)00039-9 fatcat:z75hsj363jcwrdic4ymyi7aop4

Rule representation and management in conceptbase

M. Jarke, M. Jeusfeld
1989 SIGMOD record  
The knowledge representation language it supports, CML/Telos, combines the functionalities of deductive and temporal databases with structural object orientation.  ...  In this paper, we demonstrate how to exploit a process, oriented software data model that uses just the object-oriented structural language kcmcl, to bootstrap efficient internal representations of the  ...  Thanks are also due to Manofis Koubarakis and John Mylopoulos for useful discussions on CML/Telos implementation.  ... 
doi:10.1145/71031.71037 fatcat:qwt3yrgi7fezhbo6fn6hiw2z3u

Design and implementation of ROCK & ROLL: A deductive object-oriented database system

Maria L. Barja, Alvaro A.A. Fernandes, Norman W. Paton, M.Howard Williams, Andrew Dinn, Alia I. Abdelmoty
1995 Information Systems  
This paper presents an approach to the development of a deductive object-oriented database system, describing the key design decisions and their consequences for implementation.  ...  The approach is novel, in that it integrates an object-oriented database system manipulated using an imperative programming language (ROCK) with a logic language for expressing queries and methods (ROLL  ...  Jeffery of Rutherford Appleton Laboratory for useful discussions on the subject of this paper, and Dr. J.M.P.  ... 
doi:10.1016/0306-4379(95)00009-s fatcat:cx25upqlkndyhln7g3sd3qssuy

XSB: A system for efficiently computing well-founded semantics [chapter]

Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S. Warren, Juliana Freire
1997 Lecture Notes in Computer Science  
, to break and to resolve cycles through negation that might arise in evaluating normal programs.  ...  To compute the well-founded semantics, the SLG-WAM adds to an efficient tabling engine for definite programs three operations --negative loop detection, delay and simplification --which serve to detect  ...  (iv) Dynamic loading of Prolog and C code. A goal of XSB is to provide an efficient engine for both logic programming and in-memory deductive database queries [18] .  ... 
doi:10.1007/3-540-63255-7_33 fatcat:7iin72b67rfd3e3r6enjgi7ix4

Page 1094 of Mathematical Reviews Vol. , Issue 96b [page]

1996 Mathematical Reviews  
language (139-167); Gregor Meyer, Polymor- 68 COMPUTER SCIENCE 1094 phic feature types (169-203); Peter Schachte and Georges Saab, Efficient object-oriented programming in Prolog (205-243).  ...  It is shown that the fixpoint semantics for the original program is sound and complete with respect to the declarative semantics for the corresponding normal logic program.  ... 

Compiling Integrity Checking into Update Procedures

Mark Wallace
1991 International Joint Conference on Artificial Intelligence  
Integrity checking has been investigated extensively in the field of deductive databases.  ...  The compilation yields conditions on the original database state that guarantee safety of the update.  ...  My thanks to the above and to 1CL, Bull and Siemens for their funding of ECRC.  ... 
dblp:conf/ijcai/Wallace91 fatcat:cinnkgrjnbeaflyb5yvzhv7yb4

An Overview of the LDL System

Danette Chimenti, Anthony B. O'Hare, Ravi Krishnamurthy, Shalom Tsur, Carolyn West, Carlo Zaniolo
1987 IEEE Data Engineering Bulletin  
We describe the current state of the design and implementation of the NU-Prolog Deductive Database system.  ...  The ultimate aim of the NU-Prolog project is to produce a unified logic/database system, where programs may be expressed declaratively, in a form close to first-order logic, and at the same time efficiently  ...  Thanks must also go to Ann Nicholson and Zoltan Somogyi for increasing the readability and cohesion of the fmal product by their careful reading of earlier drafts.  ... 
dblp:journals/debu/ChimentiOKTWZ87 fatcat:ehzmwo32lvd6lntxoyjjm3gsvm

Parallel database systems: Open problems and new issues

Patrick Valduriez
1993 Distributed and parallel databases  
Finally, there are new issues raised by the introduction of higher functionality such as knowledge-based or object-oriented capabilities within a parallel database system.  ...  Furthermore, it is still an open issue to decide which of the various architectures among sharedmemory, shared-disk, and shared-nothing, is best for database management under various conditions.  ...  The major technique for deductive query processing is bottomup evaluation which starts from the facts and applies the rules necessary to derive the answer to the query.  ... 
doi:10.1007/bf01264049 fatcat:owb356rtkra5fplbwktkwogdfi

Deductive database languages: problems and solutions

Mengchi Liu
1999 ACM Computing Surveys  
Deductive databases result from the integration of relational database and logic programming techniques.  ...  In this paper, we discuss these problems from four different aspects: complex values, object orientation, higherorderness, and updates.  ...  The control over the execution of query languages is the responsibility of the system, which uses query optimization and compilation techniques to ensure efficient performance over a wide range of storage  ... 
doi:10.1145/311531.311533 fatcat:wv53x2zaxvbmpdjsklsgeumfvy

An introduction to partial deduction [chapter]

Jan Komorowski
1992 Lecture Notes in Computer Science  
After several years of neglect, the importance of partial deduction (previously, partial evaluation in logic programming) as an omnipresent principle in Logic Programming, and to a certain degree in computing  ...  A selection of applications is presented to illustrate partial deduction in different contexts.  ...  Acknowledgments Thanks are due to the organizers of the META'92 Workshop on Meta-programming for inviting me to present this material.  ... 
doi:10.1007/3-540-56282-6_4 fatcat:ixjsvdrazrbhpfk4zlzulboc2m

Research and Development on Knowledge Bases Systems at ICOT

Hidenori Itoh
1986 Very Large Data Bases Conference  
One is a model combining a logic programming system and a database management software system. The other is an integrated model.  ...  This paper describes ICOT's research and development activities on knowledge base systems. Our approach is to investigate knowledge base systems from the viewpoint of logic programming.  ...  The author wishes to thank the members of the KBM working group and the people in industry who participated in joint research programs for their helpful discussions. The author also thanks Drs.  ... 
dblp:conf/vldb/Itoh86 fatcat:ou5vdxwrvrhf7jye3fhy5jdofa

The Glue-Nail deductive database system: Design, implementation, and evaluation

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps
1994 The VLDB journal  
We describe the design and implementation of the Glue-Nail deductive database system. Nail is a purely declarative query language; Glue is a procedural language used for non-query activities.  ...  Nail and Glue code are both compiled into the target language IGlue. The Nail compiler uses variants of the magic sets algorithm and supports well-founded models.  ...  We would like to acknowledge the contributions of Ashish Gupta, Kate Morris, and Ken Ross, who developed code used in the previous and current versions of the Nail compiler.  ... 
doi:10.1007/bf01228879 fatcat:jh2cqcpo5fedphkysu5bl6gqie

Implementation Alternatives for Bottom-Up Evaluation

Stefan Brass, Marc Herbstritt
2010 International Conference on Logic Programming  
Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases.  ...  Since this is most critical for the performance of a deductive database system, and since performance is critical for the acceptance of deductive database technology, this question deserves a thorough  ...  Object-oriented databases were one approach to develop an integrated system based on a single paradigm, but there the declarativity of the database query part was sacrificed, and they did not get a significant  ... 
doi:10.4230/lipics.iclp.2010.44 dblp:conf/iclp/Brass10 fatcat:vgk6ijbejvhrjejcvfkerntypq

Database research at Arizona State University

Susan D. Urban, Suzanne W. Dietrich, Forouzan Golshani
1996 SIGMOD record  
RDBI is an educational tool, implemented in Prolog, that takes advantage of the connection between logic programming and databases to provide an evaluator for relational query languages.  ...  ., "A Deductive, Object-Oriented Model as a Formal Framework for Active Database Environments," Proc. of the Workshop on Combining Declarative and Object-Oriented Databases, Washington, D.C., May 1993.  ... 
doi:10.1145/381854.381892 fatcat:bnelyai2lrh5jlypswa5grgh5a
« Previous Showing results 1 — 15 out of 3,413 results