<--- Back to Details
First PageDocument Content
Complexity classes / Finite model theory / Descriptive complexity / Query / FO / L / Relational model / Reduction / Conjunctive query / Theoretical computer science / Applied mathematics / Computational complexity theory
Date: 2010-02-12 06:45:46
Complexity classes
Finite model theory
Descriptive complexity
Query
FO
L
Relational model
Reduction
Conjunctive query
Theoretical computer science
Applied mathematics
Computational complexity theory

P A R T E Expressiveness and Complexity

Add to Reading List

Source URL: webdam.inria.fr

Download Document from Source Website

File Size: 164,43 KB

Share Document on Facebook

Similar Documents

Abstract This dissertation examines various problems in descriptive complexity, the discipline of classifying problems based on how difficult it is just to state them in some formal framework. The first part regards inte

DocID: 1sUEO - View Document

Sorting algorithms / Computing / Data processing / Mathematics / Algorithm / Mathematical logic / Theoretical computer science / Sorting / Sort / Computational complexity theory / Program optimization / Selection algorithm

A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri

DocID: 1r8dX - View Document

Sorting algorithms / Computing / Data processing / Mathematics / Algorithm / Mathematical logic / Theoretical computer science / Sorting / Sort / Computational complexity theory / Program optimization / Selection algorithm

A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri

DocID: 1qJGU - View Document

Computational complexity theory / Complexity classes / Theory of computation / FO / PSPACE / SO / P / EXPTIME / Boolean algebra / Co-NP-complete / Reduction / Descriptive complexity theory

Introduction & Motivation Relations and Operations Boolean and 3-element cases

DocID: 1qCnb - View Document

Descriptive complexity / Query / Abbreviation / Hartford /  Connecticut

Instructions for Writing Queries for Connecticut Genealogy News The purpose of a query is to bring together those members who are interested in the same line of ancejtry. When two members make contact as a result of quer

DocID: 1qvOo - View Document