Skip to main content
SpringerLink
Log in

The chase of datalog programs

  • Conference paper
  • First Online:
Advances in Databases (BNCOD 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1405))

Included in the following conference series:

Abstract

The chase of datalog programs is anew way to reason about datalog programs that are evaluated on databases consistent with a set of constraints. It is an equivalence-preserving program transformation that uncovers properties of datalog programs that must hold when they are evaluated on consistent databases. Here, we summarizes our research.

This work was partially supported by NSF grants HRD-9353271 and HRD-9628450, and by CICYT grant Tel96-1390-C02-02.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. S. Abiteboul and R. Hull. Data Functions, Datalog and Negation. In Porc. Seventh ACM SIGACT-SIGMOD-SIGART. Symposium on Principle of Database Systems, pp 143–153, 1998.

    Google Scholar 

  2. A.V. Aho, C. Beer, and J.D. Ullman. The Theory of Joins in Relational Databases. ACM-TODS, 4(3) pp 297–314, 1979.

    Article  Google Scholar 

  3. D. Maier, A.O. Mendelzon, and Y. Sagiv. Testing Implications of Data Dependencies. ACM-TODS, 4(4) pp 455–469, 1979.

    Article  Google Scholar 

  4. Y. Sagiv. Optimizing Datalog Programs. In J. Minker, editor Foundations of Deductive Databases and Logic Programming, chapter 17 pp 659–698. Morgan Kauffmann Publishers, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultad de Informática, Univ. da Coruna, A Coruña, Spain

    Nieves R. Brisaboa & José R. Paramá

  2. Laboratory for Logic, Databases, and Advanced Programming, Dept. of Co. Science, NMSU, 88003-0001, Las Cruces, NM, USA

    Agustin González & Héctor J. Hernández

  3. Inst. de Ing. y Tec, Univ. Autónoma de Cd., Juárez, Ch., México

    Héctor J. Hernández

Authors
  1. Nieves R. Brisaboa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Agustin González
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Héctor J. Hernández
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. José R. Paramá
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Suzanne M. Embury Nicholas J. Fiddian W. Alex Gray Andrew C. Jones

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brisaboa, N.R., González, A., Hernández, H.J., Paramá, J.R. (1998). The chase of datalog programs. In: Embury, S.M., Fiddian, N.J., Gray, W.A., Jones, A.C. (eds) Advances in Databases. BNCOD 1998. Lecture Notes in Computer Science, vol 1405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053479

Download citation

  • DOI: https://doi.org/10.1007/BFb0053479

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64659-4

  • Online ISBN: 978-3-540-69112-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation