Sergio Greco, Cristinel Mateis  Home/Search
Context Related
| dbai.tuwien.ac.at/staff/m...lid96.ps.gz rigel.dbai.tuwien.ac.at/s...lid96.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: dbai.tuwien.ac.at/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we consider the problem of unification of bounded simple set terms in the field of deductive databases. Simple set terms are of the form fe 1 ; : : : ; e ng, where e i is a constant or a variable and are much used in deductive database systems such as LDL and Coral. In this paper we consider a restricted form of unification, called "weak unification", which is mainly used in the field of deductive databases where the database may contain both constants and variables and the... (Update)
Context of citations to this paper: More
...of bounded simple set terms. For space limitation, all proofs of our results are omitted or sketched. The complete proofs can be found in [14]. 2 Basic Definitions 2.1 Unification of Standard Terms A (simple) term can be either a variable or a constant. An atom is of the form...
Cited by: More
Unification of Bounded Simple Set Terms in Deductive Databases - Greco, Mateis (1996) (Correct)
Active bibliography (related documents): More All
0.4: Design and Analysis of Parallel Set-Term Unification - Seung-Jin Lim (Correct)
0.4: On the Complexity of Unification and Disunification in.. - Hermann, Kolaitis (Correct)
0.3: Set-Term Unification in a Logic Database Language - Seung Jin (Correct)
Similar documents based on text: More All
0.3: Pushing Extrema Aggregates to Optimize Logic Queries - Greco (2002) (Correct)
0.2: A Cellular Genetic Programming Approach to Classification - Folino, Pizzuti (1999) (Correct)
0.2: The GPR System: an Architecture for Integrating Active.. - Angiulli, Palopoli.. (1997) (Correct)
BibTeX entry: (Update)
S. Greco, C. Mateis, E. Spadafora, Unification of Bounded Simple Set Terms in Deductive Databases, Technical Report ISI-CNR, 1996. http://citeseer.ist.psu.edu/greco96unification.html More
@inproceedings{ greco96unification,
author = "Sergio Greco and Cristinel Mateis and Eugenio Spadafora",
title = "Unification of Bounded Simple Set Terms in Deductive Databases",
booktitle = "Logic in Databases",
pages = "435-453",
year = "1996",
url = "citeseer.ist.psu.edu/greco96unification.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
280 Object Identity as a Query language primitive (context) - Abiteboul, Kanellekis - 1989
166 Unification Revisited (context) - Lassez, Maher et al. - 1988
149 A logical Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989
113 Relations and Logic (context) - Ramakrisnhan, Srivastava et al. - 1992
99 Logic: A Higher-Order Language for Reasoning About Objects (context) - Kifer, Lausen - 1989
71 COL: A logic-based language for complex objects (context) - Abiteboul, Grumbach - 1988
68 Unification: A Multidisciplinary Survey (context) - Knight - 1989
62 A Unification Algorithm for Associative-Commutative Function.. (context) - Stickel - 1981
51 the Sequential Nature of Unification (context) - Dwork, Kanellakis et al. - 1986
42 Journal of Symbolic Computation (context) - Siekmann, Theory - 1989
39 Set Constructors in a Logic Database Language (context) - Beeri, Naqvi et al. - 1991
33 NP-completeness of the Set Unification and Matching problems (context) - Kapur, Narendran - 1986
27 Implementation of Subset-Equational Programs (context) - Jayaraman - 1992
27 The Expressiveness of a Family of Finite Set Languages - Immerman, Patnaik et al. - 1991
23 Associative-Commutative Unification (context) - Fages - 1986
21 of Computer and System Science (context) - Kuper, Logic - 1990
21 Double-Exponential Complexity of Computing a Complete Set of.. - Kapur, Narendran - 1992
20 Adventures in Associative-Commutative Unification - Lincoln, Christian - 1988
19 Compilation of Set Terms in the Logic Data Language (context) - Shmueli, Tsur et al. - 1992
15 Parallel Algorithm for Term Matching (context) - Dwork, Kanellakis et al. - 1985
14 Handbook of Applicable Mathematics (context) - Ledermann, Vajda - 1985
10 of Computer and System Science (context) - Paterson, Unification - 1978
10 An Algorithm for general Set Unification and its Complexity (context) - Stolzenburg - 1994
8 Unification in Commutative Idempotent Monoids (context) - Baader, Buttner - 1988
6 Minimal Set Unification (context) - Arenas-Sanchez, Dovier - 1995
5 Set-Term Matching in Logic Programming (context) - Arni, Greco et al. - 1992
5 Matching of Bounded Set Terms in the Logic Language LDL (context) - Arni, Greco et al.
5 Unification in the Data Structure Sets (context) - Buttner - 1986
5 Tight Complexity Bound for Term Matching Problems (context) - Verma, Ramakrishnan - 1992
1 Master degree's Thesis (context) - Mateis, Unification et al. - 1996
1 Unification of Bounded Simple Set Terms in Deductive Databas.. - Greco, Mateis et al. - 1996
1 A Logic Programming Language with Finite Sets (context) - Dovier, Omodeo et al. - 1991
1 Optimal Unification of Bounded Set Terms (context) - Greco - 1996
1 Facultat fur Informatik (context) - Livesey, Siekmann et al. - 1976
1 LDL: A Logic Based Data Language Proc (context) - Tsur, Zaniolo - 1986
1 Revez: Constraint query languages (context) - Kanellakis, Kuper - 1990
Documents on the same site (http://www.dbai.tuwien.ac.at/staff/mateis/publications.html): More
Progress Report on the Disjunctive Deductive Database System - Eiter (1998) (Correct)
The KR System dlv: Progress Report, Comparisons and.. - Eiter, Leone, Mateis, al. (1998) (Correct)
A Deductive System for Non-Monotonic Reasoning - Eiter, Leone, Mateis.. (1997) (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