Skip to main content
SpringerLink
Log in

The many faces of query monotonicity

  • Session 4: Deductive Database Systems
  • Conference paper
  • First Online:
Advances in Database Technology — EDBT '90 (EDBT 1990)

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

Included in the following conference series:

Abstract

Monotonicity, based on the partial order defined by the ‘is a subset of’ relation, is a well understood property of queries. For nested relations, other partial orders leading to different notions of monotonicity are possible. Monotonicity can be used for simple negative comparison of the expressive power of two languages by showing that one is monotone and the other is not. Using this approach we study three questions related to the expressive power of practically useful subsets of well known programming languages for nested relations. First, we show that logic programming languages over nested relations can be regarded as Datalog with user-defined algebraic expressions. This leads to a modular integration of recursion with the monotone subset of the algebra. Second, we prove that the equivalence of the powerset algebra and the complex object Datalog breaks down for their monotone subsets. Third, for the class of positive existential queries over nested relations, which generalize the relational tableau set queries, we show that the use of intermediate types does not enhance their expressive power, in contrast to the known result for general existential queries. We also show that this class does not contain the powerset operator, hence it is a candidate for a tractable tableau query system for nested relations. Finally, the (monotone) Bancilhon-Khoshafian calculus for complex objects is shown to be incomparable to the monotone subsets of most known languages.

Research partially supported by grant 2545/3/89 of Israel National Council for Research and Development.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and C. Beeri. On the Power of Languages for the Manipulation of Complex Objects. Technical Report 846, INRIA, May 1988.

    Google Scholar 

  2. S. Abiteboul and S. Grumbach, COL: a logic-based language for complex objects. In Proc. of the Workshop on Database Programming Languages, pages 253–276, Roscoff, France, September 1987.

    Google Scholar 

  3. A.V. Aho and J.D. Ullman. Universality of data retrieval languages. In Proc. Sixth ACM Symp. on Principles of Programming Languages, pages 110–117, January 1979.

    Google Scholar 

  4. H. Ait-Kaci and R. Nasr. LOGIN: a logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215, 1986.

    Article  Google Scholar 

  5. K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–184, Morgan Kaufman Publishers, 1987.

    Google Scholar 

  6. Krzysztof R. Apt and M.H. Van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29(3):841–862, July 1982.

    Article  Google Scholar 

  7. F. Bancilhon and S. Khoshafian. A calculus for complex objects. In Proc. Fifth ACM Symp. on Principles of Database Systems, pages 53–59, 1986.

    Google Scholar 

  8. F. Bancilhon, P. Richard, and M. Scholl. On line processing of compacted relations. In Proc. Intl. Conf. on Very Large Data Bases, pages 263–269, 1982.

    Google Scholar 

  9. C. Beeri, S. Naqvi, R. Ramakrishnan, O. Shmueli, and S. Tsur. Sets and negation in a logic database language (LDL1). In Proc. Sixth ACM Symp. on Principles of Database Systems, pages 21–37, March 1987.

    Google Scholar 

  10. A. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25(1):99–128, 1982.

    Article  Google Scholar 

  11. A.K. Chandra and D. Harel. Computable queries for relational datbase systems. Journal of Computer and System Sciences, 21(2):156–178, 1980.

    Article  Google Scholar 

  12. P. Dadam et. al. A DBMS prototype to support extended NF 2 relations: an integrated view on flat tables and hierarchies. In ACM SIGMOD Intl. Conf. on Management of Data, pages 356–367, 1986.

    Google Scholar 

  13. M. Fitting. Enumeration operators and modular logic programming. J. of Logic Programming, 4:11–21, 1987.

    Article  Google Scholar 

  14. M. Gyssens and D. Van Gucht. The powerset algebra as a result of adding programming constructs to the nested relational algebra. In ACM SIGMOD Intl. Conf. on Management of Data, pages 225–232, 1988.

    Google Scholar 

  15. R. Hull and J. Su. On the expressive power of database queries with intermediate types. In Proc. Seventh ACM Symp. on Principles of Database Systems, pages 39–51, 1988.

    Google Scholar 

  16. R. Hull and J. Su. Untyped sets, invention, and computable queries. In Proc. Eighth ACM Symp. on Principles of Database Systems, 1989.

    Google Scholar 

  17. M. Kifer and J. Wu. A logic for object-oriented logic programming (Maier's O-Logic revisited). In Proc. Eighth ACM Symp. on Principles of Database Systems, 1989.

    Google Scholar 

  18. G.M. Kuper. Logic programming with sets. In Proc. Sixth ACM Symp. on Principles of Database Systems, pages 11–20, 1987.

    Google Scholar 

  19. G.M. Kuper. On the expressive power of logic programming with sets. In Proc. Seventh ACM Symp. on Principles of Database Systems, pages 10–14, 1988.

    Google Scholar 

  20. G.M. Kuper and M.Y. Vardi. On the complexity of queries in the logical data model. In D. Van Gucht M. Gyssens, J. Paredaens, editor, 2nd International Conference on Database Theory, pages 267–280, Springer-Verlag, Bruges, Belgium, August 1988.

    Google Scholar 

  21. V. Linnemann. Non first normal form relations and recursive queries: an SQL-based approach. In Proc. Intl. Conf. on Data Engineering, pages 591–598, 1987.

    Google Scholar 

  22. H.-B. Paul, H.-J. Schek, M.H. Scholl, G. Weikum, and U. Deppisch. Architecture and implementation of the Darmstadt database kernel system. In ACM SIGMOD Intl. Conf. on Management of Data, 1987.

    Google Scholar 

  23. Y. Sagiv and M. Yannakakis. Equivalence among relational expressions with the union and difference operators. Journal of the ACM, 27(4):633–655, 1980.

    Article  Google Scholar 

  24. H.-J. Schek and M.H. Scholl. An algebra for the relational model with relation-valued attributes. Information Systems, 11(2):137–147, 1986.

    Article  Google Scholar 

  25. A. Tarski. A lattice theoretical fixpoint theorem and its applications. Pacific J. Math., 5(2):285–309, 1955.

    Google Scholar 

  26. J.D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Hebrew University, 91904, Jerusalem, Israel

    Catriel Beeri & Yoram Kornatzky

  2. Department of Computer Science, USA

    Catriel Beeri

  3. Leibniz Center for Research in Computer Science, Israel

    Yoram Kornatzky

Authors
  1. Catriel Beeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yoram Kornatzky
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

François Bancilhon Constantino Thanos Dennis Tsichritzis

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Beeri, C., Kornatzky, Y. (1990). The many faces of query monotonicity. In: Bancilhon, F., Thanos, C., Tsichritzis, D. (eds) Advances in Database Technology — EDBT '90. EDBT 1990. Lecture Notes in Computer Science, vol 416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022167

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52291-1

  • Online ISBN: 978-3-540-46948-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation