1999 | OriginalPaper | Buchkapitel
Applications
verfasst von : Neil Immerman
Erschienen in: Descriptive Complexity
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The largest application of descriptive complexity is to the theory of databases. A relational database is a finite logical structure. This chapter begins with a discussion of the expressibility of relational queries. Other applications covered are Dynamic Complexity and Computer Aided Verification.