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        = {http://dx.doi.org/10.1007/3-540-56039-4_58},
  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

[2]

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

[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)

[4]

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

[5]

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

[6]

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

[7]

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

[8]

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

[9]

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

[10]

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

[11]

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

[12]

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

[13]

...

[14]

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

[15]

...

[16]

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

[17]

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

[18]

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

[19]

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

[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)

[21]

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

[22]

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

[23]

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