DocumentCode :
3295733
Title :
When do fixed point logics capture complexity classes?
Author :
Seth, Anil
Author_Institution :
Inst. of Math. Sci., Madras, India
fYear :
1995
fDate :
26-29 Jun 1995
Firstpage :
353
Lastpage :
363
Abstract :
We give examples of classes of rigid structures which are of unbounded rigidity but least fixed point (Partial fixed point) logic can express all Boolean PTIME (PSPACE) queries on these classes. This shows that definability of linear order in FO+LEP although sufficient for it to capture Boolean PTIME queries, is not necessary even on the classes of rigid structures. The situation however appears very different for nonzero-ary queries. Next, we turn to the study of fixed point logics on arbitrary classes of structures. We completely characterize the recursively enumerable classes of finite structures on which PFP captures all PSPACE queries of arbitrary arities. We also state in some alternative forms several natural necessary and some sufficient conditions for PFP to capture PSPACE queries on classes of finite structures. The conditions similar to the ones proposed above work for LFP and PTIME also in some special cases but to prove the same necessary conditions in general for LFP to capture PTIME seems harder and remains open
Keywords :
Boolean functions; computational complexity; database theory; formal logic; Boolean PTIME queries; PSPACE queries; complexity classes; definability; fixed point logics; least fixed point; nonzero-ary queries; partial fixed point; rigid structures; unbounded rigidity; Binary trees; Boolean functions; Computer science; Logic; Relational databases;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science, 1995. LICS '95. Proceedings., Tenth Annual IEEE Symposium on
Conference_Location :
San Diego, CA
ISSN :
1043-6871
Print_ISBN :
0-8186-7050-9
Type :
conf
DOI :
10.1109/LICS.1995.523270
Filename :
523270
Link To Document :
بازگشت