The Power of Tarski's Relation Algebra on Trees
暂无分享,去创建一个
Marc Gyssens | Dirk Van Gucht | Yuqing Wu | Jelle Hellings | Yuqing Wu | D. V. Gucht | M. Gyssens | Jelle Hellings
[1] Martin Otto,et al. On Logics with Two Variables , 1999, Theor. Comput. Sci..
[2] Marc Gyssens,et al. A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization , 2009, BNCOD.
[3] Marc Gyssens,et al. From relation algebra to semi-join algebra: an approach for graph query optimization , 2017, DBPL.
[4] Pablo Barceló Baeza. Querying graph databases , 2013, PODS 2013.
[5] Maarten Marx,et al. Conditional XPath , 2005, TODS.
[6] Pablo Barceló,et al. Querying graph databases , 2013, PODS '13.
[7] Gabriel M. Kuper,et al. Structural Properties of XPath Fragments , 2003, ICDT.
[8] Leonid Libkin,et al. Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.
[9] C. M. Sperberg-McQueen,et al. eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .
[10] Jan Van den Bussche,et al. Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees , 2018, ArXiv.
[11] Steven Givant,et al. The Calculus of Relations as a Foundation for Mathematics , 2006, Journal of Automated Reasoning.
[12] Jorge Pérez,et al. Relative Expressiveness of Nested Regular Expressions , 2012, AMW.
[13] Balder ten Cate,et al. The expressivity of XPath with transitive closure , 2006, PODS.
[14] Alberto O. Mendelzon,et al. A graphical query language supporting recursion , 1987, SIGMOD '87.
[15] Jan Van den Bussche,et al. Relative expressive power of downward fragments of navigational query languages on trees and chains , 2015, DBPL.
[16] Alfred Tarski,et al. Relational selves as self-affirmational resources , 2008 .
[17] Jeffrey F. Naughton,et al. Covering indexes for branching path queries , 2002, SIGMOD '02.
[18] Michael Benedikt,et al. XPath leashed , 2009, CSUR.
[19] Jan Van den Bussche,et al. Relative expressive power of navigational querying on graphs , 2011, ICDT '11.
[20] Jelle Hellings. On Tarski’s Relation Algebra: Querying trees and chains, and the semi-join algebra , 2018 .
[21] Martin Grohe,et al. Finite Variable Logics in Descriptive Complexity Theory , 1998, Bulletin of Symbolic Logic.
[22] Frederick H. Lochovsky,et al. Hierarchical Data-Base Management: A Survey , 1976, CSUR.
[23] M. de Rijke,et al. Semantic characterizations of navigational XPath , 2005, SGMD.
[24] Steven J. DeRose,et al. XML Path Language (XPath) Version 1.0 , 1999 .
[25] Jan Van den Bussche,et al. J-Logic: Logical Foundations for JSON Querying , 2017, PODS.