Set-Term Matching in Logic Programming.

@inproceedings{DBLP:conf/icdt/ArniGS92,
  author    = {Natraj Arni and
               Sergio Greco and
               Domenico Sacc{\`a}},
  editor    = {Joachim Biskup and
               Richard Hull},
  title     = {Set-Term Matching in Logic Programming},
  booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin,
               Germany, October 14-16, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {646},
  year      = {1992},
  isbn      = {3-540-56039-4},
  pages     = {436-449},
  ee        = {db/conf/icdt/ArniGS92.html},
  crossref  = {DBLP:conf/icdt/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX

[2]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[3]

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(1/2/3&4): 181-232(1991) BibTeX

[4]

Wolfram Büttner: Unification in the Data Structure Sets. CADE 1986: 470-488 BibTeX

[5]

Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell: On the Sequential Nature of Unification. J. Log. Program. 1(1): 35-50(1984) BibTeX

[6]

Cynthia Dwork, Paris C. Kanellakis, Larry J. Stockmeyer: Parallel Algorithms for Term Matching. CADE 1986: 416-430 BibTeX

[7]

François Fages: Associative-Commutative Unification. CADE 1984: 194-208 BibTeX

[8]

Neil Immerman, Sushant Patnaik, David W. Stemple: The Expressiveness of a Family of Finite Set Languages. PODS 1991: 37-52 BibTeX

[9]

Deepak Kapur, Paliath Narendran: NP-Completeness of the Set Unification and Matching Problems. CADE 1986: 489-495 BibTeX

[10]

Kevin Knight: Unification: A Multidisciplinary Survey. ACM Comput. Surv. 21(1): 93-124(1989) BibTeX

[11]

Gabriel M. Kuper: Logic Programming with Sets. J. Comput. Syst. Sci. 41(1): 44-64(1990) BibTeX

[12]

Jean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. Foundations of Deductive Databases and Logic Programming. 1988: 587-625 BibTeX

[13]

...

[14]

Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification (A Summary). CADE 1988: 358-367 BibTeX

[15]

...

[16]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[17]

Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX

[18]

Jörg H. Siekmann: Unification Theory. J. Symb. Comput. 7(3/4): 207-274(1989) BibTeX

[19]

Mark E. Stickel: A Unification Algorithm for Associative-Commutative Functions. J. ACM 28(3): 423-434(1981) BibTeX

[20]

Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Compilation of Set Terms in the Logic Data Language (LDL). J. Log. Program. 12(1&2): 89-119(1992) BibTeX

[21]

Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 BibTeX

[22]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[23]

Kumar V. Vadaparty: On the Power of Rule-Based Languages with Sets. PODS 1991: 26-36 BibTeX

Referenced by

1. Seung Jin Lim, Yiu-Kai Ng: Set-Term Matching in a Logic Database Language. DASFAA 1995: 189-196