Abstract
In this paper we propose an extension, SEDatalog, of Datalog so that sets can be naturally constructed in logic programming. In SEDatalog, sets can be defined by statements so it has a strong capability in creating sets. Three deductive rules are also introduced in this paper, which make SEDatalog strong in deductions and programming even when sets are involved in deductions. The syntactical description and the semantical interpretation of SEDatalog are comprehensively discussed in detail. The soundness and completeness theorem of SEDatalog is proved, which provides a solid foundation of SEDatalog.
Chapter PDF
Similar content being viewed by others
References
Abiteboul, S., Grumbach, S.,: COL: A Logic-based Language for Complex Objects, ACM TODS, 16(1), pp. 1–30, 1991.
Ceri, S., Gottlob, G., Tanca, L.,: Logic Programming and Databases, Springer Verlag, 1990.
Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S., Tsur, S., Zaniolo, C.,: The LDL System Prototype, IEEE Transactions on Knowledge and Data Engineering, 2(1), pp. 76–90, 1990.
Dovier, A., Omodeo, E. G., Pontelli, E., Rossi, G.,: log: A Language for Programming in Logic with Finite Sets, J. of Logic Programming, 28(1), pp. 1–44, 1996.
Jana, D.,: Semantics of Subset-Logic Languages, Ph.D. Dissertation, Department of Computer Science, SUNY-Buffalo, 1994.
Jayaraman, B.,: The SuRE Programming Framework, TR 91-011, Department of Computer Science, SUNY-Buffalo, August 1991.
Jayaraman, B., Jana, D.,: Set Constructors, Finite Sets, and Logical Semantics, J. of Logic Programming, 38, pp.55–77, 1999.
Kuper, G. M.,: Logic Programming with Sets, J. of Computer and System Science, 41(1), pp.44–64, 1990.
Liu, M.,: Relationlog: A Typed Extension to Datalog with Sets and Tuples, J. of Logic Programming, 36, pp.271–299, 1998.
Lloyd, J. W.,: Foundations of Logic Programming, Springer Verlag, 1987.
Moon, K.,: Implementation of Subset Logic Languages, Ph.D. Dissertation, Department of Computer Science, SUNY-Buffalo, February 1995.
Osorio, M.,: Semantics of Logic Programs with Sets, Ph.D. Dissertation, Department of Computer Science, SUNY-Buffalo, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Zhou, Q., Long, L. (2005). SEDatalog: A Set Extension of Datalog . In: Shi, Z., He, Q. (eds) Intelligent Information Processing II. IIP 2004. IFIP International Federation for Information Processing, vol 163. Springer, Boston, MA. https://doi.org/10.1007/0-387-23152-8_49
Download citation
DOI: https://doi.org/10.1007/0-387-23152-8_49
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23151-8
Online ISBN: 978-0-387-23152-5
eBook Packages: Computer ScienceComputer Science (R0)