Informatik-Spektrum

, Volume 33, Issue 5, pp 452–461 | Cite as

Logik und Automaten: ein echtes Dreamteam

  • Henrik Björklund
  • Wim Martens
  • Nicole Schweikardt
  • Thomas Schwentick
HAUPTBEITRAG LOGIK UND AUTOMATEN
  • 137 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baier C, Katoen J-P (2008) Principles of Model Checking. The MIT Press, Cambridge, MAMATHGoogle Scholar
  2. 2.
    Benedikt M, Koch C (2009) From XQuery to relational logics. ACM T Database Syst 34(4) Article 25Google Scholar
  3. 3.
    Bérard B, Bidoit M, Finkel A, Laroussinie F, Petit A, Petrucci L, Schnoebelen P (2001) Systems and Software Verification. Model-Checking Techniques and Tools. Springer, HeidelbergMATHGoogle Scholar
  4. 4.
    Bex G, Maneth S, Neven F (2002) A formal model for an expressive fragment of XSLT. Inform Syst 27(1):21–39MATHCrossRefGoogle Scholar
  5. 5.
    Bex GJ, Neven F, Schwentick T, Vansummeren S (2010) Inference of concise regular expressions and DTDs. ACM T Database Syst 35(2) Article 11Google Scholar
  6. 6.
    Bojanczyk M, Parys P (2008) XPath evaluation in linear time. In: International Symposium on Principles of Database Systems (PODS), pp 241–250Google Scholar
  7. 7.
    Bojanczyk M, Muscholl A, Schwentick T, Segoufin L (2009) Two-variable logic on data trees and XML reasoning. J ACM 56(3) Article 13Google Scholar
  8. 8.
    Brüggemann-Klein A, Wood D (1998) One-unambiguous regular languages. Inform Comput 142(2):182–206MATHCrossRefGoogle Scholar
  9. 9.
    Gelade W, Neven F (2008) Succinctness of the complement and intersection of regular expressions. In: Annual Symposium on Theoretical Aspects of Computer Science (STACS), pp 325–336Google Scholar
  10. 10.
    Gottlob G, Koch C (2004) Monadic datalog and the expressive power of languages for Web information extraction. J ACM 51(1):74–113CrossRefMathSciNetGoogle Scholar
  11. 11.
    Gottlob G, Koch C, Baumgartner R, Herzog M, Flesca S (2004) The Lixto data extraction project – back and forth between theory and practice. In: International Symposium on Principles of Database Systems (PODS), pp 1–12Google Scholar
  12. 12.
    Gottlob G, Koch C, Pichler R (2005) Efficient algorithms for processing XPath queries. ACM T Database Syst 30(2):444–491CrossRefMathSciNetGoogle Scholar
  13. 13.
    Green TJ, Gupta A, Miklau G, Onizuka M, Suciu D (2004) Processing XML streams with deterministic automata and stream indexes. ACM T Database Syst 29(4):752–788CrossRefGoogle Scholar
  14. 14.
    Grohe M, Koch C, Schweikardt N (2007) Tight lower bounds for query processing on streaming and external memory data. Theor Comput Sci 380(1–2):199–217MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Grumberg O, Veith H (eds) (2008) 25 Years of Model Checking – History, Achievements, Perspectives, vol 5000 of Lecture Notes in Computer Science. Springer, HeidelbergGoogle Scholar
  16. 16.
    Lixto Software. URL: http://www.lixto.com/, letzter Zugriff 8.4.2010Google Scholar
  17. 17.
    Martens W, Niehren J (2007) On the minimization of XML Schemas and tree automata for unranked trees. J Comput Syst Sci 73(4):550–583MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Martens W, Neven F, Schwentick T (2007) Simple off the shelf abstractions for XML Schema. Sigmod RECORD 36(3):15–22CrossRefGoogle Scholar
  19. 19.
    Marx M, de Rijke M (2005) Semantic characterizations of navigational XPath. Sigmod RECORD 34(2):41–46CrossRefGoogle Scholar
  20. 20.
    Parys P (2009) XPath evaluation in linear time with polynomial combined complexity. In: International Symposium on Principles of Database Systems (PODS), pp 55–64Google Scholar
  21. 21.
    Schweikardt N (2009) Machine models for query processing. Sigmod RECORD 38(2):18–28CrossRefGoogle Scholar
  22. 22.
    Schwentick T (2004) XPath query containment. Sigmod RECORD 33(1):101–109CrossRefMathSciNetGoogle Scholar
  23. 23.
    Thomas W (1997) Languages, automata, and logic. In: Rozenberg G, Salomaa A (eds) Handbook of Formal Languages, vol III. Springer, New York, pp 389–455Google Scholar
  24. 24.
    Vardi MY (2003) Logic and automata: A match made in heaven. In: International Colloquium on Automata, Languages and Programming (ICALP), pp 64–65Google Scholar
  25. 25.
    Vardi MY (2008) From Church and Prior to PSL. In: Grumberg O, Veith H (eds) 25 Years of Model Checking – History, Achievements, Perspectives, vol 5000 of Lecture Notes in Computer Science. Springer, Heidelberg, pp 150–171Google Scholar
  26. 26.
    Vianu V (2009) Automatic verification of database-driven systems: a new frontier. In: International Conference Database Theory (ICDT), pp 1–13Google Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  • Henrik Björklund
    • 1
  • Wim Martens
    • 2
  • Nicole Schweikardt
    • 3
  • Thomas Schwentick
    • 2
  1. 1.Dep. of Computing ScienceUmeå UniversitetUmeåSchweden
  2. 2.Lehrstuhl Informatik 1 – Logik in der InformatikTechnische Universität DortmundDortmundDeutschland
  3. 3.Institut für InformatikGoethe-Universität Frankfurt am MainFrankfurt am MainDeutschland

Personalised recommendations