ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Optimal Unification of Bounded Simple Set Terms.

Sergio Greco: Optimal Unification of Bounded Simple Set Terms. CIKM 1996: 326-336
@inproceedings{DBLP:conf/cikm/Greco96,
  author    = {Sergio Greco},
  title     = {Optimal Unification of Bounded Simple Set Terms},
  booktitle = {CIKM '96, Proceedings of the Fifth International Conference on
               Information and Knowledge Management, November 12 - 16, 1996,
               Rockville, Maryland, USA},
  publisher = {ACM},
  year      = {1996},
  pages     = {326-336},
  ee        = {db/conf/cikm/Greco96.html, http://doi.acm.org/10.1145/238355.238575},
  crossref  = {DBLP:conf/cikm/96},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

This paper is concerned with the problem of unification of bounded simple set terms, i.e., terms of the form {e1 ,e2 ,...,en}, where ei is a constant or a variable. Such simplified types of set terms are used in many application areas such as databases and logic programming. We present a precise formalization of the problem through the identification of a hierarchy of subproblems, a detailed complexity analysis of the problem and its special cases by providing formulas for determining the number of unifiers. We present also the first two phases on an optimal (five phases) unification algorithm.

Copyright © 1996 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 4, CIKM, DOLAP, GIS, SIGFIDET, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12 - 16, 1996, Rockville, Maryland, USA. ACM 1996
Contents BibTeX

Online Edition

Citation Page BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
CIKM 1996 Proceedings, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:01:54 2009