TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS
This work deals with the expressive power of logics on finite graphs with access to an additional "arbitrary" linear order. The queries that can be expressed this way are the order-invariant queries for the logic. For the standard logics used in computer science, such as first-order logic,...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2009
|
| _version_ | 1826289242161020928 |
|---|---|
| author | Benedikt, M Segoufin, L |
| author_facet | Benedikt, M Segoufin, L |
| author_sort | Benedikt, M |
| collection | OXFORD |
| description | This work deals with the expressive power of logics on finite graphs with access to an additional "arbitrary" linear order. The queries that can be expressed this way are the order-invariant queries for the logic. For the standard logics used in computer science, such as first-order logic, it is known that access to an arbitrary linear order increases the expressiveness of the logic. However, when we look at the separating examples, we find that they have satisfying models whose Gaifman Graph is complex - unbounded in valence and in treewidth. We thus explore the expressiveness of order-invariant queries over well-behaved graphs. We prove that first-order order-invariant queries over strings and trees have no additional expressiveness over first-order logic in the original signature. We also prove new upper bounds on order-invariant queries over bounded treewidth and bounded valence graphs. Our results make use of a new technique of independent interest: the application of algebraic characterizations of definability to show collapse results. © 2009. Association for Symbolic Logic. |
| first_indexed | 2024-03-07T02:25:54Z |
| format | Journal article |
| id | oxford-uuid:a597f6df-4165-4f98-a3c6-f702107f93de |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T02:25:54Z |
| publishDate | 2009 |
| record_format | dspace |
| spelling | oxford-uuid:a597f6df-4165-4f98-a3c6-f702107f93de2022-03-27T02:41:28ZTOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHSJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:a597f6df-4165-4f98-a3c6-f702107f93deEnglishSymplectic Elements at Oxford2009Benedikt, MSegoufin, LThis work deals with the expressive power of logics on finite graphs with access to an additional "arbitrary" linear order. The queries that can be expressed this way are the order-invariant queries for the logic. For the standard logics used in computer science, such as first-order logic, it is known that access to an arbitrary linear order increases the expressiveness of the logic. However, when we look at the separating examples, we find that they have satisfying models whose Gaifman Graph is complex - unbounded in valence and in treewidth. We thus explore the expressiveness of order-invariant queries over well-behaved graphs. We prove that first-order order-invariant queries over strings and trees have no additional expressiveness over first-order logic in the original signature. We also prove new upper bounds on order-invariant queries over bounded treewidth and bounded valence graphs. Our results make use of a new technique of independent interest: the application of algebraic characterizations of definability to show collapse results. © 2009. Association for Symbolic Logic. |
| spellingShingle | Benedikt, M Segoufin, L TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS |
| title | TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS |
| title_full | TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS |
| title_fullStr | TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS |
| title_full_unstemmed | TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS |
| title_short | TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS |
| title_sort | towards a characterization of order invariant queries over tame graphs |
| work_keys_str_mv | AT benediktm towardsacharacterizationoforderinvariantqueriesovertamegraphs AT segoufinl towardsacharacterizationoforderinvariantqueriesovertamegraphs |