Set-Term Matching in a Logic Database Language.

@inproceedings{DBLP:conf/dasfaa/LimN95,
  author    = {Seung Jin Lim and
               Yiu-Kai Ng},
  editor    = {Tok Wang Ling and
               Yoshifumi Masunaga},
  title     = {Set-Term Matching in a Logic Database Language},
  booktitle = {Database Systems for Advanced Applications '95, Proceedings of
               the 4th International Conference on Database Systems for Advanced
               Applications (DASFAA), Singapore, April 11-13, 1995},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {5},
  year      = {1995},
  isbn      = {981-02-2220-3},
  pages     = {189-196},
  ee        = {db/conf/dasfaa/LimN95.html},
  crossref  = {DBLP:conf/dasfaa/95},
  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]

Natraj Arni, Sergio Greco, Domenico Saccà: Set-Term Matching in Logic Programming. ICDT 1992: 436-449 BibTeX

[2]

...

[3]

...

[4]

Qiming Chen, Wesley W. Chu: HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases. DOOD 1989: 431-452 BibTeX

[5]

Qiming Chen, Yahiko Kambayashi: Nested Relation Based Database Knowledge Representation. SIGMOD Conference 1991: 328-337 BibTeX

[6]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990) BibTeX

[7]

Richard Hull: Relative Information Capacity of Simple Relational Database Schemata. SIAM J. Comput. 15(3): 856-886(1986) BibTeX

[8]

...

[9]

...

[10]

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

[11]

Leon Sterling, Ehud Y. Shapiro: The Art of Prolog - Advanced Programming Techniques, 2nd Ed. MIT Press 1994
BibTeX

[12]

...