• 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