Advanced search
1 file | 421.03 KB
Author
Organization
Abstract
LP is a common formalism for the field of databases and CSP, both at the theoretical level and the implementation level in the form of Datalog and CLP. In the past, close correspondences have been made between both fields at the theoretical level. Yet correspondence at the implementation level has been much less explored. In this article we work towards relating them at the implementation level. Concretely, we show how to derive the efficient Leapfrog Triejoin execution algorithm of Datalog from a generic CP execution scheme.
Keywords
Leapfrog Triejoin, Datalog, Constraint Programming, logic programming

Downloads

  • main.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 421.03 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Desouter, Benoit, and Tom Schrijvers. 2013. “Integrating Datalog and Constraint Solving.” In CICLOPS 2013 : Proceedings of the 13th International Colloquium on Implementation of Constraint and Logic Programming Systems, ed. Ricardo Rocha and Christian Theil Have, 63–73. Porto, Portugal: Univesidade do Porto. Faculdade de Ciências. Departamento de Ciência de Computadores.
APA
Desouter, B., & Schrijvers, T. (2013). Integrating Datalog and Constraint Solving. In Ricardo Rocha & C. Theil Have (Eds.), CICLOPS 2013 : proceedings of the 13th international colloquium on implementation of constraint and logic programming systems (pp. 63–73). Presented at the 13th International colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013), Porto, Portugal: Univesidade do Porto. Faculdade de Ciências. Departamento de Ciência de Computadores.
Vancouver
1.
Desouter B, Schrijvers T. Integrating Datalog and Constraint Solving. In: Rocha R, Theil Have C, editors. CICLOPS 2013 : proceedings of the 13th international colloquium on implementation of constraint and logic programming systems. Porto, Portugal: Univesidade do Porto. Faculdade de Ciências. Departamento de Ciência de Computadores; 2013. p. 63–73.
MLA
Desouter, Benoit, and Tom Schrijvers. “Integrating Datalog and Constraint Solving.” CICLOPS 2013 : Proceedings of the 13th International Colloquium on Implementation of Constraint and Logic Programming Systems. Ed. Ricardo Rocha & Christian Theil Have. Porto, Portugal: Univesidade do Porto. Faculdade de Ciências. Departamento de Ciência de Computadores, 2013. 63–73. Print.
@inproceedings{5646054,
  abstract     = {LP is a common formalism for the field of databases and CSP, both at the theoretical level and the implementation level in the form of Datalog and CLP. In the past, close correspondences have been made between both fields at the theoretical level. Yet correspondence at the implementation level has been much less explored. In this article we work towards relating them at the implementation level. Concretely, we show how to derive the efficient Leapfrog Triejoin execution algorithm of Datalog from a generic CP execution scheme.},
  author       = {Desouter, Benoit and Schrijvers, Tom},
  booktitle    = {CICLOPS 2013 : proceedings of the 13th international colloquium on implementation of constraint and logic programming systems},
  editor       = {Rocha, Ricardo and Theil Have, Christian},
  keyword      = {Leapfrog Triejoin,Datalog,Constraint Programming,logic programming},
  language     = {eng},
  location     = {Istanbul, Turkey},
  pages        = {63--73},
  publisher    = {Univesidade do Porto. Faculdade de Ci{\^e}ncias. Departamento de Ci{\^e}ncia de Computadores},
  title        = {Integrating Datalog and Constraint Solving},
  url          = {http://www.dcc.fc.up.pt/{\texttildelow}ricroc/homepage/publications/2013-CICLOPS.pdf},
  year         = {2013},
}