Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci  Home/Search
Context
Related
| wwwis.cs.utwente.n...eby.memo9302.ps.gz racetrack.cs.utwen...eby.memo9302.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wwwis.cs.utwente.nl:...techreport (more) From: racetrack.cs.utwente...techreport (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We describe a formal design for a logical query language using /-terms as data structures to interact effectively and efficiently with a relational database. The structure of /-terms provides an adequate representation for so-called complex objects. They generalize conventional terms used in logic programming: they are typed attributed structures, ordered thanks to a subtype ordering. Unification of /-terms is an effective means for integrating multiple inheritance and partial information... (Update)
Similar documents (at the sentence level):
62.3%: A Database Interface for Complex Objects - Holsheimer, de By (Correct)
Active bibliography (related documents): More All
0.2: Loading Data into Description Reasoners - Borgida, Brachman (1993) (Correct)
0.1: Toward Semantic-Based Exploration of Parallelism in.. - Wu, Miranker, Browne (1994) (Correct)
0.1: Extensible Query Processing in an Object-Oriented Database - Mitchell (1993) (Correct)
Similar documents based on text: More All
0.1: A Feature Constraint System for Logic Programming with.. - Aït-Kaci, Podelski, Smolka (1992) (Correct)
0.1: Label-Selective ...-Calculus - Aït-Kaci, Garrigue (Correct)
0.1: The Typed Polymorphic Label-Selective lambda-Calculus - Garrigue, Aït-Kaci (1993) (Correct)
BibTeX entry: (Update)
@misc{ holsheimer-correct,
author = "Marcel Holsheimer and Rolf A. de By and Hassan Aït-Kaci",
title = "A Correct and Efficient Interface for Logical Query Languages with Complex
Objects",
url = "citeseer.ist.psu.edu/177730.html" }
Citations (may not include all citations):218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990
149 A Logical Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989
119 LOGIN: A logic programming language with built-in inheritanc.. (context) - At-Kaci, Nasr - 1986
38 Design overview of the Nail (context) - Morris, Ullman et al. - 1986
36 A semantics for complex objects and approximate answers (context) - Buneman, Davidson et al. - 1991
35 An algebraic semantics approach to the effective resolution .. (context) - At-Kaci - 1986
21 Digital Equipment Corporation (context) - At-Kaci, Meyer et al. - 1992
12 Interfacing relational databases and Prolog efficiently (context) - Ceri, Gottlob et al. - 1987
7 A calculus for complex objects (context) - Bancilhon, Khoshafian - 1989
5 How does an expert system get its data (context) - Vassiliou, Clifford et al. - 1983
4 Implementing a knowledge-basedlibrary information system wit.. (context) - At-Kaci, Nasr et al. - 1990
4 a database interface for the LIFE system (context) - Holsheimer - 1992
3 An overview of LIFE - At-Kaci - 1991
2 Databases and expert systems: Opportunities and architecture.. (context) - Vassiliou, Jarke - 1984
Documents on the same site (http://wwwis.cs.utwente.nl:8080/isdoc/techreport.html): More
Integrity Control Based on Object Behaviour - Vermeer, Apers (Correct)
Implementation and performance evaluation of a parallel .. - Houtsma, Wilschut.. (1993) (Correct)
Representing FM in Isabelle - Blok (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC