Relational queries computable in polynomial time
Information and Control
Languages that capture complexity classes
SIAM Journal on Computing
Parallel computation with threshold functions
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Journal of Computer and System Sciences - 3rd Annual Conference on Structure in Complexity Theory, June 14–17, 1988
Infinitary logics and 0–1 laws
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
On a monadic NP vs monadic co-NP
Information and Computation
Information and Computation
Counting quantifiers, successor relations, and logarithmic space
Journal of Computer and System Sciences - special issue on complexity theory
Journal of Computer and System Sciences - Special issue: 26th annual ACM symposium on the theory of computing & STOC'94, May 23–25, 1994, and second annual Europe an conference on computational learning theory (EuroCOLT'95), March 13–15, 1995
Query languages for bags and aggregate functions
Journal of Computer and System Sciences - Special issue on principles of database systems
Local properties of query languages
Theoretical Computer Science - Special issue on the 6th International Conference on Database Theory—ICDT '97
Locality of Order-Invariant First-Order Formulas
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Graph Connectivity, Monadic NP and Built-in Relations of Moderate Degree
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Unary Quantifiers, Transitive Closure, and Relations of Large Degree
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Circuit Complexity before the Dawn of the New Millennium
Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science
Expressive Power of Unary Counters
ICDT '97 Proceedings of the 6th International Conference on Database Theory
On the Forms of Locality over Finite Models
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
On Counting Logics and Local Properties
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Logics with Aggregate Operators
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Counting proportions of sets: expressive power with almost order
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Hi-index | 0.00 |
We study the expressive power of counting logics in the presence of auxiliary relations such as orders and preorders. The simplest such logic is the first-order logic with counting. This logic captures the complexity class TC0 over ordered structures. We also consider first-order logic with arbitrary unary quantifiers and with infinitary extensions.We start by giving a simple direct proof that first-order logic with counting, in the presence of pre-orders that are almost-everywhere linear orders, cannot express the transitive closure of a binary relation. The proof is based on locality of formulae. We then show that the technique cannot be extended to linear orders. We further show that this result does not say anything about the power of invariant queries in first-order logic with counting vs. the class TC0, in the presence of these preorders.In the second part of the paper, we prove a separation result showing that, for all the counting logics above, a linear order is more powerful than a preorder that is a linear order almost everywhere. In fact, we prove that the expressive power of invariant queries in the presence of such preorders can be characterized by a property normally associated with first-order definability over unordered structures. We do this by using locality techniques from finite-model theory. However, as some standard notions of locality fail in this setting, we have to modify them to prove the main result.