37 search results - page 1 / 8 » Preservation Theorems in Finite Model Theory |
121
Voted
LCC
1994
15 years 4 months ago
1994
98
Voted
ENTCS
2006
15 years 12 days ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
111
Voted
PODS
2004
ACM
16 years 15 days ago
2004
ACM
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...
93
Voted
AML
2007
15 years 15 days ago
2007
In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each...
BIRTHDAY
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...