The semijoin algebra and the guarded fragment

Journal of Logic, Language and Information

Volumn 14, Issue 3, 2005, Pages 331-343

  Leinders, Dirk ^a   Marx, Maarten ^b   Tyszkiewicz, Jerzy ^c   Van Den Bussche, Jan ^a  

^a HASSELT UNIVERSITY   (Belgium)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

Databases; Guarded logic; Relational algebra; Semijoin

Indexed keywords

EID: 23844444931     PISSN: 09258531     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10849-005-5789-8     Document Type: Conference Paper

References (24)

1. Abiteboul, S., Hull, R., and Vianu, V., 1995, Foundations of Databases, Addison-Wesley.
2. Andréka, H., Hodkinson, I., and Németi, I., 1999, "Finite algebras of relations are representable on finite sets," Journal of Symbolic Logic 64(1), 243-267.
3. Andréka, H., Németi, I., and van Benthem, J., 1998, "Modal languages and bounded fragments of predicate logic," Journal of Philosophical Logic 27(3), 217-274.
4. Beeri, C., Fagin, R., Maier, D., and Yannakakis, M., 1983, "On the desirability of acyclic database schemes," Journal of the ACM 30(3), 479-513.
5. Codd, E., 1970, "A relational model of data for large shared data banks," Communications of the ACM 13(6), 377-387.
6. Codd, E., 1972, "Relational completeness of data base sublanguages," in Rustin, R. (ed.), Data Base Systems, pages 65-98. Prentice-Hall.
7. Ebbinghaus, H.-D. and Flum, J., 1999, Finite Model Theory, Springer.
8. Flum, J., Frick, M., and Grohe, M., 2002, "Query evaluation via tree-decompositions," Journal of the ACM 49(6), 716-752.
9. Garcia-Molina, H., Ullman, J., and Widom, J., 2000, Database Systems: The Complete Book, Prentice Hall.
10. Gottlob, G., Grädel, E., and Veith, H., 2002, "Datalog LITE: A deductive query language with linear time model checking," ACM Transactions on Computational Logic 3(1), 42-79.
11. Grädel, E., 1999a, "Decision procedures for guarded logics," in Proceedings of the 16th International Conference on Automated Deduction, vol. 1632. Springer-Verlag.
12. Grädel, E., 1999b, "On the restraining power of guards," Journal of Symbolic Logic 64(4), 1719-1742.
13. Grädel, E., 2002, "Guarded fixed point logics and the monadic theory of countable trees," Theoretical Computer Science 288(1), 129-152.
14. Grädel, E., Hirsch, C., and Otto, M., 2002, "Back and forth between guarded and modal logics," ACM Transactions on Computational Logic 3(3), 418-463.
15. Grädel, E. and Walukiewicz, I., 1999, "Guarded fixed point logic," in Proceedings of the 14th IEEE Symposium on Logic in Computer Science LICS '99, pages 45-54.
16. Halmos, P., 1962, Algebraic Logic, American Mathematical Society.
17. Halpern, J., 1995, "The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic," Artificial Intelligence 75(2), 361-372.
18. Hoogland, E. and Marx, M., 2002, "Interpolation and definability in guarded fragments," Studia Logica 70(3), 373-409, April.
19. Leinders, D., Tyszkiewicz, J., and Van den Bussche, J., 2004, "On the expressive power of semijoin queries," Information Processing Letters 91(2), 93-98.
20. Marx, M., 2001, "Tolerance logic," Journal of Logic, Language and Information 10(3), 353-374.
21. Marx, M. and Venema, Y., 2004, "Local variations on a loose theme: Modal logic and decidability," in Grädel, E., Kolaitis, P., Libkin, L., Marx, M., Spencer, J., Vardi, M., Venema, Y., and Weinstein, S., (eds.), Finite Model Theory and its Applications, Springer-Verlag.
22. Németi, I., 1995, "A fine-structure analysis of first-order logic," in Marx, M., Pólos, L., and Masuch, M., (ed.), Arrow Logic and Multimodal Logics, Studies in Logic, Language and Information, pages 221-247. CSLI Publications, Stanford.
23. van Benthem, J., 1997, "Dynamic bits and pieces," Technical Report LP-1997-01, ILLC.
24. Yannakakis, M., 1981, "Algorithms for acyclic database schemes," in Proceedings of the 7th International Conference on Very Large Data Bases, pp. 82-94. IEEE Computer Society.