Finite Model Theory and Its Applications
|
|
- Barnaby Owen
- 5 years ago
- Views:
Transcription
1 Erich Grädel Phokion G. Kolaitis Leonid Libkin Maarten Marx Joel Spencer Moshe Y. Vardi Yde Venema Scott Weinstein Finite Model Theory and Its Applications With 35 Figures and 2 Tables Springer
2 Contents 1 Unifying Themes in Finite Model Theory Definability Theory Classification of Concepts in Terms of Definitional Complexity What More Do We Know When We Know a Concept Is L-Definable? Logics with Finitely Many Variables Distinguishing Struktures: L-Equivalence and Comparison Games Random Graphs and 0-1 Laws Constraint Satisfaction Problems Descriptive Complexity Satisfaction What Is a Logic for PTIME? Finite Model Theory and Infinite Structures Tarne Fragments and Tarne Classes 20 References 22 2 On the Expressive Power of Logics on Finite Models Introduction Basic Concepts Ehrenfeucht-Frai'sse Games for First-Order Logic Computational Complexity Complexity Classes The Complexity of Logic Ehrenfeucht-Frai'sse Games for Existential Second-Order Logic Logics with Fixed-Point Operators Operators and Fixed Points Least Fixed-Point Logic Datalog and Datalog(^) 74
3 VIII Contents The Complementation Problem for LFPi and a Normal Form for LFP Partial Fixed-Point Logic Infmitary Logics with Finitely Mariy Variables The Infmitary Logic L^ Pebble Games and L^-Definability Laws for L^ Definability and Complexity of L^-Equivalence Least Fixed-Point Logic vs. Partial Fixed-Point Logic on Finite Structures Existential Infmitary Logics with Finitely Many Variables The Infmitary Logics 3L^ and 3L*, W (^) Existential Pebble Games Descriptive Complexity of Fixed Subgraph Homeomorphism Queries 116 References Finite Model Theory and Descriptive Complexity Definability and Complexity Complexity Issues in Logic Model Checking for First-Order Logic The Strategy Problem for Finite Games Complexity of First-Order Model Checking Encoding Finite Structures by Words Capturing Complexity Classes Capturing NP: Fagin's Theorem Logics That Capture Complexity Classes Capturing Polynomial Time on Ordered Structures Capturing Logarithmic Space Complexity Transitive Closure Logics Fixed-Point Logics Some Fixed-Point Theory Least Fixed-Point Logic The Modal ^-Calculus Parity Games Model-Checking Games for Least Fixed-Point Logic Definability of Winning Regions in Parity Games Simultaneous Fixed-Point Inductions Infiationary Fixed-Point Logic Partial Fixed-Point Logic Datalog and Stratified Datalog Logics with Counting Logics with Counting Terms Fixed-Point Logic with Counting Datalog with Counting 190
4 Contents IX 3.5 Capturing PTIME via Canonization Definable Linear Orders Canonizations and Interpretations Capturing PTIME up to Bisimulation Is There a Logic for PTIME? Algorithmic Model Theory Beyond Finite Struktures Finitely Presentable Structures Metafinite Structures Metafinite Spectra Descriptive Complexity over the Real Numbers Appendix: Alternating Complexity Classes 222 References Logic and Random Structures An Instructive Example Random Graphs Extension Statements Closure The Almost Sure Theory The Case p Constant Countable Models A Dynamic View Infinite Spectra via Almost Sure Encoding The Jump Condition The Complexity Condition Nonconvergence via Almost Sure Encoding No Almost Sure Representation of Evenness The Ehrenfeucht Game About the References 254 References Embedded Finite Models and Constraint Databases Introduction Organization Relational Databases and Embedded Finite Models Constraint Databases Collapse and Genericity: An Overview Approaches to Proving Expressivity Bounds Active-Generic Collapse The Ramsey Property Collapse Results Natural-Active Collapse Collapse: Failure and Success Good Structures vs. Bad Structures: O-minimality 276
5 X Contents Collapse Theorem and Corollaries Collapse Algorithm: the Linear Case Collapse Algorithm: the General Case Collapse Without O-minimality Natural-Generic Collapse Model Theory and Collapse Results Pseudo-finite Homogeneity Finite Cover Property and Collapse Isolation and Collapse The VC Dimension and Collapse Results Random Graph and Collapse to MSO Complexity Bounds for Generic Queries Expressiveness of Constraint Query Languages Reductions to the Finite Case Topological Properties Linear vs. Polynomial Constraints Query Safety Finite and Infinite Query Safety Safe Translations Finite Query Safety: Characterization Infinite Query Safety: Reduction Deciding Safety Dichotomy Theorem for Embedded Finite Models Database Considerations Aggregate Operators Higher-Order Features Bibliographie Notes 330 References A Logical Approach to Constraint Satisfaction Introduction Preliminaries The Computational Complexity of Constraint Satisfaction Nonuniform Constraint Satisfaction Monotone Monadic SNP and Nonuniform Constraint Satisfaction Datalog and Nonuniform Constraint Satisfaction Datalog, Games, and Constraint Satisfaction Games and Consistency Uniform Constraint Satisfaction and Bounded Treewidth 362 References 367
6 Contents XI 7 Local Variations on a Loose Theme: Modal Logic and Decidability Introduction Modal Systems and Bisimulations Basic Modal Logic Notes Some Variations Neither Locality nor Looseness: Grid Logics Universal Access: K* Generalizing Looseness: the Until Operator Modal Complexity NP and the Polysize Model Property PSPACE and Polynomially Deep Paths EXPTIME and Exponentially Deep Paths NEXPTIME Notes Modal Logic and First-Order Logic Guarded Fragments Decidability and Complexity Notes 425 References 426 Index 431
1 Introduction... 1 1.1 A Database Example... 1 1.2 An Example from Complexity Theory...................... 4 1.3 An Example from Formal Language Theory................. 6 1.4 An Overview of the Book.................................
More informationA Retrospective on Datalog 1.0
A Retrospective on Datalog 1.0 Phokion G. Kolaitis UC Santa Cruz and IBM Research - Almaden Datalog 2.0 Vienna, September 2012 2 / 79 A Brief History of Datalog In the beginning of time, there was E.F.
More informationFinite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep
Finite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep connections have emerged between finite model theory and various
More informationExpressiveness and Complexity of a Graph Logic
1 Expressiveness and Complexity of a Graph Logic (Cambridge) joint work with Philippa Gardner (Imperial College) and Giorgio Ghelli (Pisa) 2 A View of Process Algebras A term algebra T given by a functional
More informationThe Resolution Width Problem is EXPTIME-Complete
The Resolution Width Problem is EXPTIME-Complete Alexander Hertel & Alasdair Urquhart November 24, 2007 Abstract The importance of width as a resource in resolution theorem proving has been emphasized
More information( A(x) B(x) C(x)) (A(x) A(y)) (C(x) C(y))
1 Introduction Finite model theory studies the expressive power of logics on finite models. Classical model theory, on the other hand, concentrates on infinite structures: its origins are in mathematics,
More informationIntroduction to Finite Model Theory. Jan Van den Bussche Universiteit Hasselt
Introduction to Finite Model Theory Jan Van den Bussche Universiteit Hasselt 1 Books Finite Model Theory by Ebbinghaus & Flum 1999 Finite Model Theory and Its Applications by Grädel et al. 2007 Elements
More informationProcessing Regular Path Queries Using Views or What Do We Need for Integrating Semistructured Data?
Processing Regular Path Queries Using Views or What Do We Need for Integrating Semistructured Data? Diego Calvanese University of Rome La Sapienza joint work with G. De Giacomo, M. Lenzerini, M.Y. Vardi
More informationLOGIC AND DISCRETE MATHEMATICS
LOGIC AND DISCRETE MATHEMATICS A Computer Science Perspective WINFRIED KARL GRASSMANN Department of Computer Science University of Saskatchewan JEAN-PAUL TREMBLAY Department of Computer Science University
More informationThe Complexity of Relational Queries: A Personal Perspective
The Complexity of Relational Queries: A Personal Perspective Moshe Y. Vardi Rice University http://www.cs.rice.edu/ vardi Relational Query Theory in 1980 Codd, 1972: FO=RA Chandra&Merlin, 1977: basic theory
More informationXPath with transitive closure
XPath with transitive closure Logic and Databases Feb 2006 1 XPath with transitive closure Logic and Databases Feb 2006 2 Navigating XML trees XPath with transitive closure Newton Institute: Logic and
More informationA Game-Theoretic Approach to Constraint Satisfaction
A Game-Theoretic Approach to Constraint Satisfaction Phokion G. Kolaitis Computer Science Department University of California, Santa Cruz Santa Cruz, CA 95064 kolaitis@cse.ucsc.edu www.cse.ucsc.edu/ kolaitis
More informationtheory. That is, given a certain logic we may study which classes of finite structures of a relational signature which are closed under isomorphisms,
URL: http://www.elsevier.nl/locate/entcs/volume84.html 12 pages Expressibility of Higher Order Logics Lauri Hella 1 Department of Mathematics, Statistics and Philosophy University of Tampere Kanslerinrinne
More informationDeclarative Programming of Search Problems with Built-in Arithmetic
Declarative Programming of Search Problems with Built-in Arithmetic Eugenia Ternovska and David G. Mitchell School of Computing Science Simon Fraser University {ter,mitchell}@cs.sfu.ca Abstract We address
More informationRegular Path Queries on Graphs with Data
Regular Path Queries on Graphs with Data Leonid Libkin Domagoj Vrgoč ABSTRACT Graph data models received much attention lately due to applications in social networks, semantic web, biological databases
More informationCounting multiplicity over infinite alphabets
Counting multiplicity over infinite alphabets Amal Dev Manuel and R. Ramanujam The Institute of Mathematical Sciences, Chennai, India {amal,jam}@imsc.res.in Summary Motivation for infinite data. We need
More informationEXTENSIONS OF FIRST ORDER LOGIC
EXTENSIONS OF FIRST ORDER LOGIC Maria Manzano University of Barcelona CAMBRIDGE UNIVERSITY PRESS Table of contents PREFACE xv CHAPTER I: STANDARD SECOND ORDER LOGIC. 1 1.- Introduction. 1 1.1. General
More informationRewriting Ontology-Mediated Queries. Carsten Lutz University of Bremen
Rewriting Ontology-Mediated Queries Carsten Lutz University of Bremen Data Access and Ontologies Today, data is often highly incomplete and very heterogeneous Examples include web data and large-scale
More informationDagstuhl Workshop on Finite Model Theory, Databases, and Computer Aided Verification
Dagstuhl Workshop on Finite Model Theory, Databases, and Computer Aided Verification 03.10. - 08.10.1999 organized by G. Gottlob, E. Grädel, M. Vardi, V. Vianu The goal of this workshop was to bring together
More informationCraig Interpolation Theorems and Database Applications
Craig Interpolation Theorems and Database Applications Balder ten Cate! LogicBlox & UC Santa Cruz!!!! November 7, 2014, UC Berkeley - Logic Colloquium! 1 Craig Interpolation William Craig (1957): For all
More informationGuarded Negation in query languages
Guarded Negation in query languages Vince Bárány (TU Darmstadt) joint work with Balder ten Cate (UC Santa Cruz) & Martin Otto (TU Darmstadt) Oxford June 2012 Bárány-ten Cate-Otto (TU Darmstadt) Guarded
More informationPosets, graphs and algebras: a case study for the fine-grained complexity of CSP s
Posets, graphs and algebras: a case study for the fine-grained complexity of CSP s Part 1: Preliminaries on Complexity and CSP s Benoit Larose 1 2 1 Department of Mathematics and Statistics Concordia University,
More informationDynamic Logic David Harel, The Weizmann Institute Dexter Kozen, Cornell University Jerzy Tiuryn, University of Warsaw The MIT Press, Cambridge, Massac
Dynamic Logic David Harel, The Weizmann Institute Dexter Kozen, Cornell University Jerzy Tiuryn, University of Warsaw The MIT Press, Cambridge, Massachusetts, 2000 Among the many approaches to formal reasoning
More informationThe Relational Model
The Relational Model David Toman School of Computer Science University of Waterloo Introduction to Databases CS348 David Toman (University of Waterloo) The Relational Model 1 / 28 The Relational Model
More informationExercises Computational Complexity
Exercises Computational Complexity March 22, 2017 Exercises marked with a are more difficult. 1 Chapter 7, P and NP Exercise 1. Suppose some pancakes are stacked on a surface such that no two pancakes
More informationa standard database system
user queries (RA, SQL, etc.) relational database Flight origin destination airline Airport code city VIE LHR BA VIE Vienna LHR EDI BA LHR London LGW GLA U2 LGW London LCA VIE OS LCA Larnaca a standard
More informationStructural characterizations of schema mapping languages
Structural characterizations of schema mapping languages Balder ten Cate INRIA and ENS Cachan (research done while visiting IBM Almaden and UC Santa Cruz) Joint work with Phokion Kolaitis (ICDT 09) Schema
More informationPART 1 GRAPHICAL STRUCTURE
PART 1 GRAPHICAL STRUCTURE in this web service in this web service 1 Treewidth and Hypertree Width Georg Gottlob, Gianluigi Greco, Francesco Scarcello This chapter covers methods for identifying islands
More informationLecture 9: Datalog with Negation
CS 784: Foundations of Data Management Spring 2017 Instructor: Paris Koutris Lecture 9: Datalog with Negation In this lecture we will study the addition of negation to Datalog. We start with an example.
More informationLogic and Databases. Phokion G. Kolaitis. UC Santa Cruz & IBM Research - Almaden
Logic and Databases Phokion G. Kolaitis UC Santa Cruz & IBM Research - Almaden 1 Logic and Databases are inextricably intertwined. C.J. Date -- 2007 2 Logic and Databases Extensive interaction between
More informationConstraint Satisfaction, Databases, and Logic
Constraint Satisfaction, Databases, and Logic Phokion G. Kolaitis* Computer Science Department University of California, Santa Cruz Santa Cruz, CA 95064, U.S.A kolaitis@cs.ucsc.edu 1 Introduction Constraint
More informationTOPOLOGICAL ALGEBRAS SELECTED TOPICS
TOPOLOGICAL ALGEBRAS SELECTED TOPICS Anastasios MALLIOS Mathematical Institute University ofathens Greece 1986 NORTH-HOLLAND-AMSTERDAM NEW YORK»OXFORD»TOKYO xiii Contents Preface ix PART I. GENERAL THEORY
More informationOWL 2 Profiles. An Introduction to Lightweight Ontology Languages. Markus Krötzsch University of Oxford. Reasoning Web 2012
University of Oxford Department of Computer Science OWL 2 Profiles An Introduction to Lightweight Ontology Languages Markus Krötzsch University of Oxford Reasoning Web 2012 Remark for the Online Version
More informationIntroductory logic and sets for Computer scientists
Introductory logic and sets for Computer scientists Nimal Nissanke University of Reading ADDISON WESLEY LONGMAN Harlow, England II Reading, Massachusetts Menlo Park, California New York Don Mills, Ontario
More informationDiscrete Wiskunde II. Lecture 6: Planar Graphs
, 2009 Lecture 6: Planar Graphs University of Twente m.uetz@utwente.nl wwwhome.math.utwente.nl/~uetzm/dw/ Planar Graphs Given an undirected graph (or multigraph) G = (V, E). A planar embedding of G is
More information6.006 Introduction to Algorithms. Lecture 25: Complexity Prof. Erik Demaine
6.006 Introduction to Algorithms Lecture 25: Complexity Prof. Erik Demaine Today Reductions between problems Decision vs. optimization problems Complexity classes P, NP, co NP, PSPACE, EXPTIME, NP completeness
More informationThomas Jech. Set Theory. The Third Millennium Edition, revised and expanded. 4y Springer
Thomas Jech Set Theory The Third Millennium Edition, revised and expanded 4y Springer Part I. Basic Set Theory 1. Axioms of Set Theory 3 Axioms of Zermelo-Fraenkel. Why Axiomatic Set Theory? Language of
More informationXML Research for Formal Language Theorists
XML Research for Formal Language Theorists Wim Martens TU Dortmund Wim Martens (TU Dortmund) XML for Formal Language Theorists May 14, 2008 1 / 65 Goal of this talk XML Research vs Formal Languages Wim
More informationarxiv: v1 [cs.db] 23 May 2016
Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics (extended version) arxiv:1605.07159v1 [cs.db] 23 May 2016 Andrei Lopatenko Free University
More informationRegular Expressions for Data Words
Regular Expressions for Data Words Leonid Libkin and Domagoj Vrgoč School of Informatics, University of Edinburgh Abstract. In data words, each position carries not only a letter form a finite alphabet,
More informationGraph algorithms based on infinite automata: logical descriptions and usable constructions
Graph algorithms based on infinite automata: logical descriptions and usable constructions Bruno Courcelle (joint work with Irène Durand) Bordeaux-1 University, LaBRI (CNRS laboratory) 1 Overview Algorithmic
More informationSemantic Characterizations of XPath
Semantic Characterizations of XPath Maarten Marx Informatics Institute, University of Amsterdam, The Netherlands CWI, April, 2004 1 Overview Navigational XPath is a language to specify sets and paths in
More informationTOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.
TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead
More informationLecture-12: Closed Sets
and Its Examples Properties of Lecture-12: Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Introduction and Its Examples Properties of 1 Introduction
More informationVerifying Liveness Properties of ML Programs
Verifying Liveness Properties of ML Programs M M Lester R P Neatherway C-H L Ong S J Ramsay Department of Computer Science, University of Oxford ACM SIGPLAN Workshop on ML, 2011 09 18 Gokigeny all! Motivation
More informationDISCRETE MATHEMATICS
DISCRETE MATHEMATICS WITH APPLICATIONS THIRD EDITION SUSANNA S. EPP DePaul University THOIVISON * BROOKS/COLE Australia Canada Mexico Singapore Spain United Kingdom United States CONTENTS Chapter 1 The
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More informationVertex Cover is Fixed-Parameter Tractable
Vertex Cover is Fixed-Parameter Tractable CS 511 Iowa State University November 28, 2010 CS 511 (Iowa State University) Vertex Cover is Fixed-Parameter Tractable November 28, 2010 1 / 18 The Vertex Cover
More informationRelative Expressive Power of Navigational Querying on Graphs
Relative Expressive Power of Navigational Querying on Graphs George H. L. Fletcher Eindhoven University of Technology g.h.l.fletcher@tue.nl Jan Van den Bussche Hasselt University & Transnational Univ.
More informationA Querying Graphs with Data
A Querying Graphs with Data LEONID LIBKIN, University of Edinburgh WIM MARTENS, Universität Bayreuth DOMAGOJ VRGOČ, PUC Chile and Center for Semantic Web Research Graph databases have received much attention
More informationLecture 15: The subspace topology, Closed sets
Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology
More informationCommunication Complexity and Parallel Computing
Juraj Hromkovic Communication Complexity and Parallel Computing With 40 Figures Springer Table of Contents 1 Introduction 1 1.1 Motivation and Aims 1 1.2 Concept and Organization 4 1.3 How to Read the
More informationAccess Patterns and Integrity Constraints Revisited
Access Patterns and Integrity Constraints Revisited Vince Bárány Department of Mathematics Technical University of Darmstadt barany@mathematik.tu-darmstadt.de Michael Benedikt Department of Computer Science
More informationParallel Computation: Many computations at once, we measure parallel time and amount of hardware. (time measure, hardware measure)
CMPSCI 601: Recall From Last Time Lecture 24 Parallel Computation: Many computations at once, we measure parallel time and amount of hardware. Models: (time measure, hardware measure) Parallel RAM: number
More informationTowards a Logical Reconstruction of Relational Database Theory
Towards a Logical Reconstruction of Relational Database Theory On Conceptual Modelling, Lecture Notes in Computer Science. 1984 Raymond Reiter Summary by C. Rey November 27, 2008-1 / 63 Foreword DB: 2
More informationStrategy Improvement for Parity Games. A combinatorial perspective
: A combinatorial perspective InfoSys seminar Oxford University Computing Laboratory 28 October 2008 Overview Theorem The strategy improvement algorithm for parity games is a bottom-antipodal sink-finding
More informationGRADUATE TEXTS IN COMPUTER SCIENCE
GRADUATE TEXTS IN COMPUTER SCIENCE Editors David Gries Fred B. Schneider Springer-Science+ Business Media, LLC GRADUATE TEXTS IN COMPUTER SCIENCE Alagar and Periyasamy, Specification of Software Systems
More informationNICOLAS BOURBAKI ELEMENTS OF MATHEMATICS. General Topology. Chapters 1-4. Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
NICOLAS BOURBAKI ELEMENTS OF MATHEMATICS General Topology Chapters 1-4 Springer-Verlag Berlin Heidelberg New York London Paris Tokyo ADVICE TO THE READER v CONTENTS OF THE ELEMENTS OF MATHEMATICS SERIES
More informationTopological space - Wikipedia, the free encyclopedia
Page 1 of 6 Topological space From Wikipedia, the free encyclopedia Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity.
More informationThe Complexity of Data Exchange
The Complexity of Data Exchange Phokion G. Kolaitis IBM Almaden kolaitis@almaden.ibm.com Jonathan Panttaja UC Santa Cruz jpanttaj@cs.ucsc.edu Wang-Chiew Tan UC Santa Cruz wctan@cs.ucsc.edu ABSTRACT Data
More informationMATH 139 W12 Review 1 Checklist 1. Exam Checklist. 1. Introduction to Predicates and Quantified Statements (chapters ).
MATH 139 W12 Review 1 Checklist 1 Exam Checklist 1. Introduction to Predicates and Quantified Statements (chapters 3.1-3.4). universal and existential statements truth set negations of universal and existential
More informationOn communication complexity of classification
On communication complexity of classification Shay Moran (Princeton) Joint with Daniel Kane (UCSD), Roi Livni (TAU), and Amir Yehudayoff (Technion) Warmup (i): convex set disjointness Alice s input: n
More informationW[1]-hardness. Dániel Marx. Recent Advances in Parameterized Complexity Tel Aviv, Israel, December 3, 2017
1 W[1]-hardness Dániel Marx Recent Advances in Parameterized Complexity Tel Aviv, Israel, December 3, 2017 2 Lower bounds So far we have seen positive results: basic algorithmic techniques for fixed-parameter
More informationPositive higher-order queries
Positive higher-order queries Michael Benedikt, Gabriele Puppis, Huy u To cite this version: Michael Benedikt, Gabriele Puppis, Huy u. Positive higher-order queries. Proceedings of PODS 2010, 2010, Indianapolis,
More informationRelative Information Completeness
Relative Information Completeness Abstract Wenfei Fan University of Edinburgh & Bell Labs wenfei@inf.ed.ac.uk The paper investigates the question of whether a partially closed database has complete information
More informationFoundations of AI. 9. Predicate Logic. Syntax and Semantics, Normal Forms, Herbrand Expansion, Resolution
Foundations of AI 9. Predicate Logic Syntax and Semantics, Normal Forms, Herbrand Expansion, Resolution Wolfram Burgard, Andreas Karwath, Bernhard Nebel, and Martin Riedmiller 09/1 Contents Motivation
More informationGraph Databases. Advanced Topics in Foundations of Databases, University of Edinburgh, 2017/18
Graph Databases Advanced Topics in Foundations of Databases, University of Edinburgh, 2017/18 Graph Databases and Applications Graph databases are crucial when topology is as important as the data Several
More informationLogical reconstruction of RDF and ontology languages
Logical reconstruction of RDF and ontology languages Jos de Bruijn 1, Enrico Franconi 2, and Sergio Tessaris 2 1 Digital Enterprise Research Institute, University of Innsbruck, Austria jos.debruijn@deri.org
More informationNP-Completeness. Algorithms
NP-Completeness Algorithms The NP-Completeness Theory Objective: Identify a class of problems that are hard to solve. Exponential time is hard. Polynomial time is easy. Why: Do not try to find efficient
More informationDATABASE THEORY. Lecture 11: Introduction to Datalog. TU Dresden, 12th June Markus Krötzsch Knowledge-Based Systems
DATABASE THEORY Lecture 11: Introduction to Datalog Markus Krötzsch Knowledge-Based Systems TU Dresden, 12th June 2018 Announcement All lectures and the exercise on 19 June 2018 will be in room APB 1004
More informationModel checking for nonmonotonic logics: algorithms and complexity
Model checking for nonmonotonic logics: algorithms and complexity Riccardo Rosati Dipartimento di Informatica e Sisteinistica Universita di Roma "La Sapienza" Via Salaria 113, 00198 Roma, Italy rosati@dis.unirornal.it
More informationSpring 2011 CSE Qualifying Exam Core Subjects. February 26, 2011
Spring 2011 CSE Qualifying Exam Core Subjects February 26, 2011 1 Architecture 1. Consider a memory system that has the following characteristics: bandwidth to lower level memory type line size miss rate
More informationLecture 1: Conjunctive Queries
CS 784: Foundations of Data Management Spring 2017 Instructor: Paris Koutris Lecture 1: Conjunctive Queries A database schema R is a set of relations: we will typically use the symbols R, S, T,... to denote
More informationPrinciples of AI Planning. Principles of AI Planning. 7.1 How to obtain a heuristic. 7.2 Relaxed planning tasks. 7.1 How to obtain a heuristic
Principles of AI Planning June 8th, 2010 7. Planning as search: relaxed planning tasks Principles of AI Planning 7. Planning as search: relaxed planning tasks Malte Helmert and Bernhard Nebel 7.1 How to
More informationQCSP on semicomplete digraphs
QCSP on semicomplete digraphs Petar -Dapić 1, Petar Marković 1 and Barnaby Martin 2 1 University of Novi Sad, Serbia 2 Middlesex University, London, UK Szeged, November 2015 Petar Marković (Novi Sad) QCSP
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Final exam The final exam is Saturday December 16 11:30am-2:30pm. Lecture A will take the exam in Lecture B will take the exam
More informationSafe Stratified Datalog With Integer Order Does not Have Syntax
Safe Stratified Datalog With Integer Order Does not Have Syntax Alexei P. Stolboushkin Department of Mathematics UCLA Los Angeles, CA 90024-1555 aps@math.ucla.edu Michael A. Taitslin Department of Computer
More informationView-based query processing: On the relationship between rewriting, answering and losslessness
Theoretical Computer Science 371 (2007) 169 182 www.elsevier.com/locate/tcs View-based query processing: On the relationship between rewriting, answering and losslessness Diego Calvanese a,, Giuseppe De
More informationLecture 2. Decidability and Verification
Lecture 2. Decidability and Verification model temporal property Model Checker yes error-trace Advantages Automated formal verification, Effective debugging tool Moderate industrial success In-house groups:
More informationFinding a winning strategy in variations of Kayles
Finding a winning strategy in variations of Kayles Simon Prins ICA-3582809 Utrecht University, The Netherlands July 15, 2015 Abstract Kayles is a two player game played on a graph. The game can be dened
More informationColourings, Homomorphisms, and Partitions of Transitive Digraphs
Colourings, Homomorphisms, and Partitions of Transitive Digraphs Tomás Feder 268 Waverley St., Palo Alto, CA 94301, USA tomas@theory.stanford.edu Pavol Hell School of Computing Science Simon Fraser University
More informationAbout the Author. Dependency Chart. Chapter 1: Logic and Sets 1. Chapter 2: Relations and Functions, Boolean Algebra, and Circuit Design
Preface About the Author Dependency Chart xiii xix xxi Chapter 1: Logic and Sets 1 1.1: Logical Operators: Statements and Truth Values, Negations, Conjunctions, and Disjunctions, Truth Tables, Conditional
More informationTHREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.
THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of
More informationSmall Progress Measures for Solving Parity Games
This is a slightly revised version (July 2000) of the following article: c 2000 Springer-Verlag. Marcin Jurdziński, Small Progress Measures for Solving Parity Games. In Horst Reichel and Sophie Tison,
More informationSQL, DLs, Datalog, and ASP: comparison
SQL, DLs, Datalog, and ASP: comparison Riccardo Rosati Knowledge Representation and Semantic Technologies Corso di Laurea in Ingegneria informatica Sapienza Università di Roma 2014/2015 CWA vs. OWA DLs
More informationauxiliary data (like the parity example above). Finally, IES(L) is the union of all IES(L) k. The most frequently considered class is IES(FO), which u
On the Power of Incremental Evaluation in SQL-like Languages Leonid Libkin 1? and Limsoon Wong 2?? 1 Bell Laboratories, 600 Mountain Avenue, Murray Hill, NJ 07974, USA. libkin@bell-labs.com 2 Kent Ridge
More informationWe ve studied the main models and concepts of the theory of computation:
CMPSCI 601: Summary & Conclusions Lecture 27 We ve studied the main models and concepts of the theory of computation: Computability: what can be computed in principle Logic: how can we express our requirements
More information(67686) Mathematical Foundations of AI July 30, Lecture 11
(67686) Mathematical Foundations of AI July 30, 2008 Lecturer: Ariel D. Procaccia Lecture 11 Scribe: Michael Zuckerman and Na ama Zohary 1 Cooperative Games N = {1,...,n} is the set of players (agents).
More informationLTCS Report. Concept Descriptions with Set Constraints and Cardinality Constraints. Franz Baader. LTCS-Report 17-02
Technische Universität Dresden Institute for Theoretical Computer Science Chair for Automata Theory LTCS Report Concept Descriptions with Set Constraints and Cardinality Constraints Franz Baader LTCS-Report
More informationStructural Characterizations of Schema-Mapping Languages
Structural Characterizations of Schema-Mapping Languages Balder ten Cate University of Amsterdam and UC Santa Cruz balder.tencate@uva.nl Phokion G. Kolaitis UC Santa Cruz and IBM Almaden kolaitis@cs.ucsc.edu
More informationCS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I. Instructor: Shaddin Dughmi
CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I Instructor: Shaddin Dughmi Announcements Posted solutions to HW1 Today: Combinatorial problems
More informationLet G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) be graphs. Introduction. Some facts about Graph Isomorphism. Proving Graph Isomorphism completeness
Graph Let G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) be graphs. Algorithms and Networks Graph Hans Bodlaender and Stefan Kratsch March 24, 2011 An G 1 to G 2 is a bijection φ : V 1 V 2 s.t.: {u, v} E 1 {φ(u),
More informationA Tour of General Topology Chris Rogers June 29, 2010
A Tour of General Topology Chris Rogers June 29, 2010 1. The laundry list 1.1. Metric and topological spaces, open and closed sets. (1) metric space: open balls N ɛ (x), various metrics e.g. discrete metric,
More informationContainment of Data Graph Queries
Containment of Data Graph Queries Egor V. Kostylev University of Oxford and University of Edinburgh egor.kostylev@cs.ox.ac.uk Juan L. Reutter PUC Chile jreutter@ing.puc.cl Domagoj Vrgoč University of Edinburgh
More informationComplete Instantiation of Quantified Formulas in Satisfiability Modulo Theories. ACSys Seminar
Complete Instantiation of Quantified Formulas in Satisfiability Modulo Theories Yeting Ge Leonardo de Moura ACSys Seminar 2008.12 Motivation SMT solvers have been successful Quantified smt formulas are
More informationData Exchange: Semantics and Query Answering
Data Exchange: Semantics and Query Answering Ronald Fagin Phokion G. Kolaitis Renée J. Miller Lucian Popa IBM Almaden Research Center fagin,lucian @almaden.ibm.com University of California at Santa Cruz
More informationCONTENTS Equivalence Classes Partition Intersection of Equivalence Relations Example Example Isomorphis
Contents Chapter 1. Relations 8 1. Relations and Their Properties 8 1.1. Definition of a Relation 8 1.2. Directed Graphs 9 1.3. Representing Relations with Matrices 10 1.4. Example 1.4.1 10 1.5. Inverse
More informationModal Logic ALEXANDER CHAGROV. Tver State University. and MICHAEL ZAKHARYASCHEV
Modal Logic ALEXANDER CHAGROV Tver State University and MICHAEL ZAKHARYASCHEV Moscow State University and Institute of Applied Mathematics Russian Academy of Sciences CLARENDON PRESS OXFORD 1997 CONTENTS
More informationForbidden Minors for a Pursuit Game on Graphs
Forbidden Minors for a Pursuit Game on Graphs A Senior Project submitted to The Division of Science, Mathematics, and Computing of Bard College by Abhinanda Bhattacharyya Annandale-on-Hudson, New York
More informationThe clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) 2 ( ) ( )
1 The clique number of a random graph in (,1 2) Let () # -subgraphs in = 2 =:() We will be interested in s.t. ()~1. To gain some intuition note ()~ 2 =2 and so ~2log. Now let us work rigorously. () (+1)
More information