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}
}

Abstract

This paper is concerned with the problem of unification of bounded simple set terms, i.e., terms of the form {e₁ ,e₂ ,...,e_n}, where e_i 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 ...

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-4 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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

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

Online Edition

Citation Page

Last update Thu May 24 04:14:45 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page