Abstract
We show that the directed st-connectivity problem cannot be expressed in symmetric Datalog, a fragment of Datalog introduced in [5]. It was shown there that symmetric Datalog programs can be evaluated in logarithmic space and that this fragment of Datalog captures logspace when augmented with negation, and an auxiliary successor relation S together with two constant symbols for the smallest and largest elements with respect to S. In contrast, undirected st-connectivity is expressible in symmetric Datalog and is in fact one of the simplest examples of the expressive power of this logic. It follows that undirected non-st-connectivity can be expressed in restricted symmetric monotone Krom \(\operatorname{SNP}\), whereas directed non-st-connectivity is only definable in the more expressive restricted monotone Krom \(\operatorname{SNP}\). By results of [8], the inexpressibility result for directed st-connectivity extends to a wide class of homomorphism problems that fail to meet a certain algebraic condition.
Research supported in part by NSERC, FQRNT and CRM.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Afrati, F., Cosmadakis, S.S., Yannakakis, M.: On Datalog vs. polynomial time. J. Comput. Syst. Sci. 51(2), 177–196 (1995)
Ajtai, M., Fagin, R.: Reachability is harder for directed than for undirected finite graphs. J. Symb. Log. 55(1), 113–150 (1990)
Cohen, D., Jeavons, P.: The complexity of constaint languages. In: Handbook of Constraint Programming, pp. 245–280 (2006)
Dalmau, V.: Linear Datalog and bounded path duality of relational structures. Logical Methods in Computer Science 1(1) (2005)
Egri, L., Larose, B., Tesson, P.: Symmetric Datalog and constraint satisfaction problems in logspace. In: LICS 2007: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, pp. 193–202 (2007)
Feder, T., Vardi, M.Y.: The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory. SIAM J. Comput. 28(1), 57–104 (1999)
Grädel, E.: Capturing complexity classes by fragments of second-order logic. Theor. Comput. Sci. 101(1), 35–57 (1992)
Larose, B., Tesson, P.: Universal algebra and hardness results for constraint satisfaction problems 6. In: ICALP, pp. 267–278 (2007)
Libkin, L.: Elements of finite model theory. Springer, Heidelberg (2004)
Reingold, O.: Undirected st-connectivity in log-space, pp. 376–385 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Egri, L., Larose, B., Tesson, P. (2008). Directed st-Connectivity Is Not Expressible in Symmetric Datalog. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds) Automata, Languages and Programming. ICALP 2008. Lecture Notes in Computer Science, vol 5126. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70583-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-70583-3_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70582-6
Online ISBN: 978-3-540-70583-3
eBook Packages: Computer ScienceComputer Science (R0)