Hostname: page-component-8448b6f56d-gtxcr Total loading time: 0 Render date: 2024-04-24T20:21:39.067Z Has data issue: false hasContentIssue false
  • English
  • Français

Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures

Published online by Cambridge University Press:  15 January 2014

Ian Hodkinson  and
Martin Otto
Ian Hodkinson
Affiliation:
Department of Computing, Imperial College London, London SW7 2AZ, UKE-mail:imh@doc.ic.ac.uk, URL: www.doc.ic.ac.uk/~imh
Martin Otto
Affiliation:
Department of Computer Science, University of Wales, Swansea, SA2 8PP, UKE-mail: m.otto@swan.ac.uk, URL: www-compsci.swan.ac.uk/~csmartin
Get access Rights & Permissions [Opens in a new window]

Abstract

We provide a canonical construction of conformal covers for finite hypergraphs and present two immediate applications to the finite model theory of relational structures. In the setting of relational structures, conformal covers serve to construct guarded bisimilar companion structures that avoid all incidental Gaifman cliques—thus serving as a partial analogue in finite model theory for the usually infinite guarded unravellings. In hypergraph theoretic terms, we show that every finite hypergraph admits a bisimilar cover by a finite conformal hypergraph. In terms of relational structures, we show that every finite relational structure admits a guarded bisimilar cover by a finite structure whose Gaifman cliques are guarded. One of our applications answers an open question about a clique constrained strengthening of the extension property for partial automorphisms (EPPA) of Hrushovski, Herwig and Lascar. A second application provides an alternative proof of the finite model property (FMP) for the clique guarded fragment of first-order logic CGF, by reducing (finite) satisfiability in CGF to (finite) satisfiability in the guarded fragment, GF.

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 9 , Issue 3 , September 2003 , pp. 387 - 405
Copyright
Copyright © Association for Symbolic Logic 2003

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Andréka, Hajnal, van Benthem, Johan, and Németi, Istvan, Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic, vol. 27 (1998), pp. 217–274.Google Scholar
[2] Beeri, Catriel, Fagin, Ronald, Maier, David, and Yannakakis, Mihalis, On the desirability of acyclic database schemes, Journal of the Association for Computing Machinery, vol. 30 (1983), pp. 479–513.Google Scholar
[3] Berge, Claude, Graphs and hypergraphs, North-Holland, 1973.Google Scholar
[4] Diestel, Reinhard, Graph theory, 2nd ed., Springer-Verlag, 2000.Google Scholar
[5] Ebbinghaus, Heinz-Dieter and Flum, Jörg, Finite model theory, Springer-Verlag, 1995.Google Scholar
[6] Gottlob, Georg, Leone, Nicola, and Scarcello, Francesco, The complexity of acyclic conjunctive queries, Journal of the Association for Computing Machinery, vol. 43 (2001), pp. 431–498.CrossRefGoogle Scholar
[7] Grädel, Erich, The decidability of guarded fixed point logic, JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday (Gerbrandy, J., Marx, M., de Rijke, M., and Venema, Y., editors), CD-ROM, Amsterdam University Press, 1999.Google Scholar
[8] Grädel, Erich, Decision procedures for guarded logics, Proceedings of 16th international conference on automated deduction, CADE 16, 1999, Lecture Notes in Computer Science, vol. 1632, Springer-Verlag, 1999, pp. 31–51.Google Scholar
[9] Grädel, Erich, On the restraining power of guards, The Journal of Symbolic Logic, vol. 64 (1999), pp. 1719–1742.Google Scholar
[10] Grädel, Erich, Hirsch, Colin, and Otto, Martin, Back and forth between guarded and modal logics, Association for Computing Machinery Transactions on Computational Logic, vol. 3 (2002), pp. 418–463.Google Scholar
[11] Herwig, Bernhard, Extending partial isomorphisms on finite structures, Combinatorica, vol. 15 (1995), pp. 365–371.Google Scholar
[12] Herwig, Bernhard, Extending partial isomorphisms for the small index property of many (omega)-categorical structures, Israel Journal of Mathematics, vol. 107 (1998), pp. 93–124.CrossRefGoogle Scholar
[13] Herwig, Bernhard and Lascar, Daniel, Extending partial isomorphisms and the profinite topology on free groups, Transactions of the AmericanMathematical Society, vol. 352 (2000), pp. 1985–2021.CrossRefGoogle Scholar
[14] Hodkinson, Ian, Loosely guarded fragment of first-order logic has the finite model property, Studia Logica, vol. 70 (2002), pp. 205–240.Google Scholar
[15] Hrushovski, Ehud, Extending partial isomorphisms of graphs, Combinatorica, vol. 12 (1992), pp. 411–416.Google Scholar
[16] Marx, Maarten, Tolerance logic, Journal of Logic, Language and Information, vol. 10 (2001), pp. 353–374.Google Scholar
[17] van Benthem, Johan, Dynamic bits and pieces, Technical Report LP-97-01, ILLC, Universiteit van Amsterdam, 1997.Google Scholar