Formal Semantics of SQL (and Cypher) Paolo Guagliardo
|
|
- Janice Warren
- 5 years ago
- Views:
Transcription
1 Formal Semantics of SQL (and Cypher) Paolo Guagliardo
2 SQL Standard query language for relational databases $30B/year business Implemented in all major RDBMSs (free and commercial) First standardized in 1986 (ANSI) and 1987 (ISO) Several revision afterwards (SQL-89, SQL-92, SQL:1999, SQL:2003, SQL:2006, SQL:2008, SQL:2011, SQL:2016) The nice thing about standards is that you have so many to choose from Andrew S. Tanenbaum
3 How standard is SQL? SELECT * FROM ( SELECT R.A, R.A FROM R ) S PostgreSQL outputs a table with two columns named A Oracle throws an ERROR: reference to column A is ambiguous SELECT * FROM R WHERE EXISTS ( SELECT * FROM ( SELECT R.A, R.A FROM R ) S ) Both PostgreSQL and Oracle output R
4 Who is right? Let s have a look at the standard! A. If the <select list> * is simply contained in a <subquery> that is immediately contained in an <exists predicate>, then the <select list> is equivalent to a <value expression> that is an arbitrary <literal>. B. Otherwise, the <select list> * is equivalent to a <value expression> sequence in which each <value expression> is a column reference that references a column of T and each column of T is referenced exactly once. The columns are referenced in the ascending sequence of their ordinal position within T.
5 which means SELECT * FROM ( SELECT R.A, R.A FROM R ) S SELECT S.A, S.A FROM ( SELECT R.A, R.A FROM R ) S SELECT * FROM R WHERE EXISTS ( SELECT * FROM ( SELECT R.A, R.A FROM R ) S ) SELECT R.A FROM R WHERE EXISTS ( SELECT 1 FROM ( SELECT R.A, R.A FROM R ) S )
6 The Need for a Formal Semantics Avoid ambiguity of natural language Clearly defined and not subject to interpretation Easy to understand and implement Previous attempts Many simplifying assumptions: no bags, no nulls No justification of correctness
7 A A R 1 S NULL NULL Answer SELECT R.A FROM R EXCEPT SELECT S.A FROM S A 1 SELECT R.A FROM R WHERE R.A NOT IN ( SELECT S.A FROM S) A SELECT R.A FROM R WHERE NOT EXISTS ( SELECT S.A FROM S WHERE S.A=R.A ) A 1 NULL
8 Core SQL fragment := (T 1,...,T k ), := (N 1,...,N k ), k > 0 := (A 1,...,A m ), 0 :=(N 0 1,...,N 0 m), m > 0 Queries: Q := SELECT [DISTINCT]( : 0 *) FROM : Q (UNION INTERSECT EXCEPT) [ALL ] Q Conditions: := TRUE t (= 6=) t t IS [ NOT ] NULL t [ NOT ] IN Q EXISTS Q AND OR NOT Essentially SQL without arithmetic, grouping and aggregation
9 Formal Semantics: Challenges Data model Base relations / query outputs / intermediate results Primitive data manipulation operations Attribute references Binding rules in subqueries Environment collects and propagates bindings
10 Proposed Semantics J : JRK = R D K = J(T 1,...,T k ):(N 1,...,N k )K = N 1.JT 1 K N k.jt k K s { FROM : = ā 2 J : K J K ; ā = t t SELECT s { FROM : 1 FROM : = : t SELECT : 0 s {! FROM : 0 FROM : = : t SELECT DISTINCT : 0 0t SELECT : 0 FROM : = FROM : JTRUEK = t (A) if t = A JtK = t if t 2 C or t = NULL 8 < t if Jt 1 K = Jt 2 K and Jt 1 K 6= NULL and Jt 2 K 6= NULL Jt 1 = t 2 K = f if Jt : 1 K 6= Jt 2 K and Jt 1 K 6= NULL and Jt 2 K 6= NULL u if Jt 1 K = NULL or Jt 2 K = NULL t if JtK = NULL Jt IS NULLK = f if JtK 6= NULL Jt IS NOT NULLK = Jt IS NULLK n^ J(t 1,...t n )=(t 0 1,...,t 0 n)k = Jt i = t 0 ik J(t 1,...t n ) 6= (t 0 1,...,t 0 n)k = i=1 8 < t J t IN QK = f : u J t NOT IN QK = J t IN QK t if JQK 6=? JEXISTS QK = f if JQK =? 1 A n_ Jt i 6= t 0 ik if 9 r 2 JQK : J t = ( r)k = t if 8 r 2 JQK : J t = ( r)k = f r 2 JQK : J t = ( r)k = t and 9 r 2 JQK : J t = ( r)k 6= f i=1 Fits in one page Non-ambiguous Easy to understand Easy to implement Easy to modify J 1 AND 2 K = J 1 K ^ J 2 K J 1 OR 2 K = J 1 K _ J 2 K JNOT K = J K JQ 1 UNION ALL Q 2 K = JQ 1 K [ JQ 2 K : `(JQ 1 K) JQ 1 INTERSECT ALL Q 2 K = JQ 1 K \ JQ 2 K : `(JQ 1 K) JQ 1 EXCEPT ALL Q 2 K = JQ 1 K JQ 2 K : `(JQ 1 K) JQ 1? Q 2 K = " JQ 1? ALL Q 2 K,? 2 {UNION, INTERSECT} JQ 1 EXCEPT Q 2 K = "(JQ 1 K ) JQ 2 K : `(JQ 1 K)
11 Formal Semantics: Validation Cannot prove that semantics is correct Provide sufficient experimental evidence Implemented in Python Validated on random SQL queries
12 Formal Semantics of Cypher Collaboration between Neo Technology and the University of Edinburgh Preliminary meeting in December Legal agreements finalized recently Neo Technology sponsors a researcher (Nadime Francis)
13 Challenges Getting the (abstract) data model right Intermediate representation (QUIL?) Identify core fragment Language constantly evolving Follow the footsteps of SQL? (nulls)
7 RC Simulates RA. Lemma: For every RA expression E(A 1... A k ) there exists a DRC formula F with F V (F ) = {A 1,..., A k } and
7 RC Simulates RA. We now show that DRC (and hence TRC) is at least as expressive as RA. That is, given an RA expression E that mentions at most C, there is an equivalent DRC expression E that mentions
More informationINTRODUCTION TO RELATIONAL DATABASE SYSTEMS
INTRODUCTION TO RELATIONAL DATABASE SYSTEMS DATENBANKSYSTEME 1 (INF 3131) Torsten Grust Universität Tübingen Winter 2017/18 1 THE RELATIONAL ALGEBRA The Relational Algebra (RA) is a query language for
More informationarxiv: v1 [cs.db] 21 Sep 2016
Ladan Golshanara 1, Jan Chomicki 1, and Wang-Chiew Tan 2 1 State University of New York at Buffalo, NY, USA ladangol@buffalo.edu, chomicki@buffalo.edu 2 Recruit Institute of Technology and UC Santa Cruz,
More informationRelational Algebra and Calculus
Topics Relational Algebra and Calculus Linda Wu Formal query languages Preliminaries Relational algebra Relational calculus Expressive power of algebra and calculus (CMPT 354 2004-2) Chapter 4 CMPT 354
More informationRelational Algebra on Bags. Why Bags? Operations on Bags. Example: Bag Selection. σ A+B < 5 (R) = A B
Relational Algebra on Bags Why Bags? 13 14 A bag (or multiset ) is like a set, but an element may appear more than once. Example: {1,2,1,3} is a bag. Example: {1,2,3} is also a bag that happens to be a
More informationQuery Processing. 3 steps: Parsing & Translation Optimization Evaluation
rela%onal algebra Query Processing 3 steps: Parsing & Translation Optimization Evaluation 30 Simple set of algebraic operations on relations Journey of a query SQL select from where Rela%onal algebra π
More informationSchema Mappings for Data Graphs
Schema Mappings for Data Graphs Nadime Francis 1 Leonid Likin 2 1 Université Paris-Est Marne-la-Vallée 2 University of Edinurgh BDA 2017 Nancy, Novemer, 16th Results originally pulished in PODS 2017 1
More informationLineage implementation in PostgreSQL
Lineage implementation in PostgreSQL Andrin Betschart, 09-714-882 Martin Leimer, 09-728-569 3. Oktober 2013 Contents Contents 1. Introduction 3 2. Lineage computation in TPDBs 4 2.1. Lineage......................................
More informationRelational completeness of query languages for annotated databases
Relational completeness of query languages for annotated databases Floris Geerts 1,2 and Jan Van den Bussche 1 1 Hasselt University/Transnational University Limburg 2 University of Edinburgh Abstract.
More informationRelational Calculus. Dr Paolo Guagliardo. University of Edinburgh. Fall 2016
Relational Calculus Dr Paolo Guagliardo University of Edinburgh Fall 2016 First-order logic term t := x (variable) c (constant) f(t 1,..., t n ) (function application) formula ϕ := P (t 1,..., t n ) t
More informationTranslatable Updates of Selection Views under Constant Complement
Translatable Updates of Selection Views under Constant Complement Enrico Franconi and Paolo Guagliardo Free University of Bozen-Bolzano, Italy 4 th September 2014 DEXA 2014, Munich (Germany) KRDB Research
More informationTHE problem of updating a database through a set
FULL VERSION WITH COMPLETE PROOFS 1 Lossless Selection Views under Conditional Domain Constraints Ingo Feinerer, Enrico Franconi and Paolo Guagliardo name suggests, prescribes how a database relation can
More informationCS54100: Database Systems
CS54100: Database Systems Relational Algebra 3 February 2012 Prof. Walid Aref Core Relational Algebra A small set of operators that allow us to manipulate relations in limited but useful ways. The operators
More informationSchedule. Today: Jan. 17 (TH) Jan. 24 (TH) Jan. 29 (T) Jan. 22 (T) Read Sections Assignment 2 due. Read Sections Assignment 3 due.
Schedule Today: Jan. 17 (TH) Relational Algebra. Read Chapter 5. Project Part 1 due. Jan. 22 (T) SQL Queries. Read Sections 6.1-6.2. Assignment 2 due. Jan. 24 (TH) Subqueries, Grouping and Aggregation.
More informationFrom Constructibility and Absoluteness to Computability and Domain Independence
From Constructibility and Absoluteness to Computability and Domain Independence Arnon Avron School of Computer Science Tel Aviv University, Tel Aviv 69978, Israel aa@math.tau.ac.il Abstract. Gödel s main
More informationCS 347 Parallel and Distributed Data Processing
CS 347 Parallel and Distributed Data Processing Spring 2016 Notes 3: Query Processing Query Processing Decomposition Localization Optimization CS 347 Notes 3 2 Decomposition Same as in centralized system
More informationSound and Efficient Language-Integrated Query
Sound and Efficient Language-Integrated Query Maintaining the ORDER Oleg Kiselyov Tatsuya Katsushima Tohoku University, Japan APLAS 2017 November, 2017 2 Outline Motivation Core SQUR Core SQUR with Ranking
More informationCS 4604: Introduc0on to Database Management Systems. B. Aditya Prakash Lecture #3: SQL---Part 1
CS 4604: Introduc0on to Database Management Systems B. Aditya Prakash Lecture #3: SQL---Part 1 Announcements---Project Goal: design a database system applica=on with a web front-end Project Assignment
More informationDatabase Systems SQL. A.R. Hurson 323 CS Building
SQL A.R. Hurson 323 CS Building Structured Query Language (SQL) The SQL language has the following features as well: Embedded and Dynamic facilities to allow SQL code to be called from a host language
More informationCorrelated subqueries. Query Optimization. Magic decorrelation. COUNT bug. Magic example (slide 2) Magic example (slide 1)
Correlated subqueries Query Optimization CPS Advanced Database Systems SELECT CID FROM Course Executing correlated subquery is expensive The subquery is evaluated once for every CPS course Decorrelate!
More informationINSTITUT FÜR INFORMATIK
INSTITUT FÜR INFORMATIK DER LUDWIGMAXIMILIANSUNIVERSITÄT MÜNCHEN Bachelorarbeit Propagation of ESCL Cardinality Constraints with Respect to CEP Queries Thanh Son Dang Aufgabensteller: Prof. Dr. Francois
More informationDesigning and Evaluating Generic Ontologies
Designing and Evaluating Generic Ontologies Michael Grüninger Department of Industrial Engineering University of Toronto gruninger@ie.utoronto.ca August 28, 2007 1 Introduction One of the many uses of
More informationQSQL: Incorporating Logic-based Retrieval Conditions into SQL
QSQL: Incorporating Logic-based Retrieval Conditions into SQL Sebastian Lehrack and Ingo Schmitt Brandenburg University of Technology Cottbus Institute of Computer Science Chair of Database and Information
More informationFactorized Relational Databases Olteanu and Závodný, University of Oxford
November 8, 2013 Database Seminar, U Washington Factorized Relational Databases http://www.cs.ox.ac.uk/projects/fd/ Olteanu and Závodný, University of Oxford Factorized Representations of Relations Cust
More informationDatabases 2011 The Relational Algebra
Databases 2011 Christian S. Jensen Computer Science, Aarhus University What is an Algebra? An algebra consists of values operators rules Closure: operations yield values Examples integers with +,, sets
More informationSets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007
Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 1 / 42 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 2.1, 2.2 of Rosen Introduction I Introduction
More informationRetrieval by Content. Part 2: Text Retrieval Term Frequency and Inverse Document Frequency. Srihari: CSE 626 1
Retrieval by Content Part 2: Text Retrieval Term Frequency and Inverse Document Frequency Srihari: CSE 626 1 Text Retrieval Retrieval of text-based information is referred to as Information Retrieval (IR)
More informationCOSC 430 Advanced Database Topics. Lecture 2: Relational Theory Haibo Zhang Computer Science, University of Otago
COSC 430 Advanced Database Topics Lecture 2: Relational Theory Haibo Zhang Computer Science, University of Otago Learning objectives and references You should be able to: define the elements of the relational
More informationEnhancing the Updatability of Projective Views
Enhancing the Updatability of Projective Views (Extended Abstract) Paolo Guagliardo 1, Reinhard Pichler 2, and Emanuel Sallinger 2 1 KRDB Research Centre, Free University of Bozen-Bolzano 2 Vienna University
More information4. Sets The language of sets. Describing a Set. c Oksana Shatalov, Fall Set-builder notation (a more precise way of describing a set)
c Oksana Shatalov, Fall 2018 1 4. Sets 4.1. The language of sets Set Terminology and Notation Set is a well-defined collection of objects. Elements are objects or members of the set. Describing a Set Roster
More informationSets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006
Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 1 / 1 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 1.6 1.7 of Rosen Introduction I We ve already
More informationOverview key concepts and terms (based on the textbook Chang 2006 and the practical manual)
Introduction Geo-information Science (GRS-10306) Overview key concepts and terms (based on the textbook 2006 and the practical manual) Introduction Chapter 1 Geographic information system (GIS) Geographically
More informationCSE 562 Database Systems
Outline Query Optimization CSE 562 Database Systems Query Processing: Algebraic Optimization Some slides are based or modified from originals by Database Systems: The Complete Book, Pearson Prentice Hall
More informationTDDD08 Tutorial 1. Who? From? When? 6 september Victor Lagerkvist (& Wªodek Drabent)
TDDD08 Tutorial 1 Who? From? Victor Lagerkvist (& Wªodek Drabent) Theoretical Computer Science Laboratory, Linköpings Universitet, Sweden When? 6 september 2015 1 / 18 Preparations Before you start with
More informationCS632 Notes on Relational Query Languages I
CS632 Notes on Relational Query Languages I A. Demers 6 Feb 2003 1 Introduction Here we define relations, and introduce our notational conventions, which are taken almost directly from [AD93]. We begin
More informationSyntactic Characterisations in Model Theory
Department of Mathematics Bachelor Thesis (7.5 ECTS) Syntactic Characterisations in Model Theory Author: Dionijs van Tuijl Supervisor: Dr. Jaap van Oosten June 15, 2016 Contents 1 Introduction 2 2 Preliminaries
More informationConstructing SQL queries
Constructing SQL queries Maarten Fokkinga DB group, fac EWI, University of Twente, Netherlands Version of October 12, 2005, 10:59 Abstract. SQL queries can be derived with 100% correctness from a natural
More informationBound and Free Variables. Theorems and Proofs. More valid formulas involving quantifiers:
Bound and Free Variables More valid formulas involving quantifiers: xp(x) x P(x) Replacing P by P, we get: x P(x) x P(x) Therefore x P(x) xp(x) Similarly, we have xp(x) x P(x) x P(x) xp(x) i(i 2 > i) is
More informationEquivalence of SQL Queries In Presence of Embedded Dependencies
Equivalence of SQL Queries In Presence of Embedded Dependencies Rada Chirkova Department of Computer Science NC State University, Raleigh, NC 27695, USA chirkova@csc.ncsu.edu Michael R. Genesereth Department
More informationCS 347 Distributed Databases and Transaction Processing Notes03: Query Processing
CS 347 Distributed Databases and Transaction Processing Notes03: Query Processing Hector Garcia-Molina Zoltan Gyongyi CS 347 Notes 03 1 Query Processing! Decomposition! Localization! Optimization CS 347
More informationWerner Nutt. Yehoshua Sagiv, Sara Shurin. The Hebrew University
Deciding Equivalences among Aggregate Queries Werner Nutt German Research Center for AI (DFKI) Saarbrucken, Germany Yehoshua Sagiv, Sara Shurin The Hebrew University Jerusalem, Israel Deciding Equivalences
More informationP Q1 Q2 Q3 Q4 Q5 Tot (60) (20) (20) (20) (60) (20) (200) You are allotted a maximum of 4 hours to complete this exam.
Exam INFO-H-417 Database System Architecture 13 January 2014 Name: ULB Student ID: P Q1 Q2 Q3 Q4 Q5 Tot (60 (20 (20 (20 (60 (20 (200 Exam modalities You are allotted a maximum of 4 hours to complete this
More informationLocally Consistent Transformations and Query Answering in Data Exchange
Locally Consistent Transformations and Query Answering in Data Exchange Marcelo Arenas University of Toronto marenas@cs.toronto.edu Pablo Barceló University of Toronto pablo@cs.toronto.edu Ronald Fagin
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationRelational Algebra 2. Week 5
Relational Algebra 2 Week 5 Relational Algebra (So far) Basic operations: Selection ( σ ) Selects a subset of rows from relation. Projection ( π ) Deletes unwanted columns from relation. Cross-product
More informationLogic in AI Chapter 7. Mausam (Based on slides of Dan Weld, Stuart Russell, Subbarao Kambhampati, Dieter Fox, Henry Kautz )
Logic in AI Chapter 7 Mausam (Based on slides of Dan Weld, Stuart Russell, Subbarao Kambhampati, Dieter Fox, Henry Kautz ) 2 Knowledge Representation represent knowledge about the world in a manner that
More informationA Dichotomy. in in Probabilistic Databases. Joint work with Robert Fink. for Non-Repeating Queries with Negation Queries with Negation
Dichotomy for Non-Repeating Queries with Negation Queries with Negation in in Probabilistic Databases Robert Dan Olteanu Fink and Dan Olteanu Joint work with Robert Fink Uncertainty in Computation Simons
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationOn the Complexity of the Reflected Logic of Proofs
On the Complexity of the Reflected Logic of Proofs Nikolai V. Krupski Department of Math. Logic and the Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow 119899,
More informationTowards an Effective Calculus for Object Query Languages. The Gap between Theory & Practice
Towards an Effective Calculus for Object Query Languages Leonidas Fegaras David Maier Oregon Graduate Institute - 1 - The Gap between Theory & Practice Most commercial relational query languages go beyond
More informationDESCRIPTION LOGICS. Paula Severi. October 12, University of Leicester
DESCRIPTION LOGICS Paula Severi University of Leicester October 12, 2009 Description Logics Outline Introduction: main principle, why the name description logic, application to semantic web. Syntax and
More informationBasic counting techniques. Periklis A. Papakonstantinou Rutgers Business School
Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED
More informationAn Independence Relation for Sets of Secrets
Sara Miner More Pavel Naumov An Independence Relation for Sets of Secrets Abstract. A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland.
More informationTractable Reasoning in First-Order Knowledge Bases with Disjunctive Information
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information Yongmei Liu and Hector J. Levesque Department of Computer Science University of Toronto Toronto, ON, Canada M5S 3G4 {yliu,
More informationAxiomatic Theories of Truth
Axiomatic Theories of Truth Graham Leigh University of Leeds LC 8, 8th July 28 Graham Leigh (University of Leeds) Axiomatic Theories of Truth LC 8, 8th July 28 1 / 15 Introduction Formalising Truth Formalising
More informationKarsten Vennemann, Seattle. QGIS Workshop CUGOS Spring Fling 2015
Karsten Vennemann, Seattle 2015 a very capable and flexible Desktop GIS QGIS QGIS Karsten Workshop Vennemann, Seattle slide 2 of 13 QGIS - Desktop GIS originally a GIS viewing environment QGIS for the
More informationProvenance Semirings. Todd Green Grigoris Karvounarakis Val Tannen. presented by Clemens Ley
Provenance Semirings Todd Green Grigoris Karvounarakis Val Tannen presented by Clemens Ley place of origin Provenance Semirings Todd Green Grigoris Karvounarakis Val Tannen presented by Clemens Ley place
More informationHoare Logic: Reasoning About Imperative Programs
Hoare Logic: Reasoning About Imperative Programs COMP1600 / COMP6260 Dirk Pattinson Australian National University Semester 2, 2018 Programming Paradigms Functional. (Haskell, SML, OCaml,... ) main paradigm:
More informationFuzzy and Rough Sets Part I
Fuzzy and Rough Sets Part I Decision Systems Group Brigham and Women s Hospital, Harvard Medical School Harvard-MIT Division of Health Sciences and Technology Aim Present aspects of fuzzy and rough sets.
More informationQuestion Answering on Statistical Linked Data
Question Answering on Statistical Linked Data AKSW Colloquium paper presentation Konrad Höffner Universität Leipzig, AKSW/MOLE, PhD Student 2015-2-16 1 / 18 1 2 3 2 / 18 Motivation Statistical Linked Data
More informationEXPLORING SUBSET PROFILE AND VALIDATION PROCEDURES OF GEOGRAPHICAL MARKUP LANGUAGE (GML) FOR 3D AREAL PLAN INFORMATION.
www.sgem.org Geoinformatics EXPLORING SUBSET PROFILE AND VALIDATION PROCEDURES OF GEOGRAPHICAL MARKUP LANGUAGE (GML) FOR 3D AREAL PLAN INFORMATION. Assoc. Prof Dr Erling Onstein 1 Assist. Prof Sverre Stikbakke
More informationGeospatial Semantics. Yingjie Hu. Geospatial Semantics
Outline What is geospatial? Why do we need it? Existing researches. Conclusions. What is geospatial? Semantics The meaning of expressions Syntax How you express the meaning E.g. I love GIS What is geospatial?
More informationToo Many Languages Satisfy Ogden s Lemma
Too Many Languages Satisfy Ogden s Lemma Marcus Kracht Department of Linguistics, UCLA 405 Hilgard Avenue PO Box 951543 Los Angeles, CA 90095 1543 kracht@humnet.ucla.edu Abstract There are various pumping
More informationLogic and Databases. Phokion G. Kolaitis. UC Santa Cruz & IBM Research Almaden. Lecture 4 Part 1
Logic and Databases Phokion G. Kolaitis UC Santa Cruz & IBM Research Almaden Lecture 4 Part 1 1 Thematic Roadmap Logic and Database Query Languages Relational Algebra and Relational Calculus Conjunctive
More informationChap 2: Classical models for information retrieval
Chap 2: Classical models for information retrieval Jean-Pierre Chevallet & Philippe Mulhem LIG-MRIM Sept 2016 Jean-Pierre Chevallet & Philippe Mulhem Models of IR 1 / 81 Outline Basic IR Models 1 Basic
More informationINVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS. Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011
INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 PLAN 2 Motivation Relational Mathematics Invariant Relations Invariant Relations and Loop Functions
More informationGrounding Formulas with Complex Terms
Grounding Formulas with Complex Terms Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David Mitchell Simon Fraser University {aaa78,xwa33,ter,mitchel}@sfu.ca Abstract. Given a finite domain, grounding
More informationLecture 26. Daniel Apon
Lecture 26 Daniel Apon 1 From IPPSPACE to NPPCP(log, 1): NEXP has multi-prover interactive protocols If you ve read the notes on the history of the PCP theorem referenced in Lecture 19 [3], you will already
More informationComplete Partial Orders, PCF, and Control
Complete Partial Orders, PCF, and Control Andrew R. Plummer TIE Report Draft January 2010 Abstract We develop the theory of directed complete partial orders and complete partial orders. We review the syntax
More informationDatabase Applications (15-415)
Database Applications (15-415) Relational Calculus Lecture 5, January 27, 2014 Mohammad Hammoud Today Last Session: Relational Algebra Today s Session: Relational algebra The division operator and summary
More informationNon-Axiomatic Logic (NAL) Specification. Pei Wang
Non-Axiomatic Logic (NAL) Specification Pei Wang October 30, 2009 Contents 1 Introduction 1 1.1 NAL and NARS........................ 1 1.2 Structure of NAL........................ 2 1.3 Specifying NAL.........................
More informationA practical introduction to active automata learning
A practical introduction to active automata learning Bernhard Steffen, Falk Howar, Maik Merten TU Dortmund SFM2011 Maik Merten, learning technology 1 Overview Motivation Introduction to active automata
More informationOn Tuning OWA Operators in a Flexible Querying Interface
On Tuning OWA Operators in a Flexible Querying Interface Sławomir Zadrożny 1 and Janusz Kacprzyk 2 1 Warsaw School of Information Technology, ul. Newelska 6, 01-447 Warsaw, Poland 2 Systems Research Institute
More informationSpatial Data Infrastructure Concepts and Components. Douglas Nebert U.S. Federal Geographic Data Committee Secretariat
Spatial Data Infrastructure Concepts and Components Douglas Nebert U.S. Federal Geographic Data Committee Secretariat August 2009 What is a Spatial Data Infrastructure (SDI)? The SDI provides a basis for
More informationPeter Wood. Department of Computer Science and Information Systems Birkbeck, University of London Automata and Formal Languages
and and Department of Computer Science and Information Systems Birkbeck, University of London ptw@dcs.bbk.ac.uk Outline and Doing and analysing problems/languages computability/solvability/decidability
More informationChapter 7 R&N ICS 271 Fall 2017 Kalev Kask
Set 6: Knowledge Representation: The Propositional Calculus Chapter 7 R&N ICS 271 Fall 2017 Kalev Kask Outline Representing knowledge using logic Agent that reason logically A knowledge based agent Representing
More informationRELATION ALGEBRAS. Roger D. MADDUX. Department of Mathematics Iowa State University Ames, Iowa USA ELSEVIER
RELATION ALGEBRAS Roger D. MADDUX Department of Mathematics Iowa State University Ames, Iowa 50011 USA ELSEVIER AMSTERDAM. BOSTON HEIDELBERG LONDON NEW YORK. OXFORD PARIS SAN DIEGO. SAN FRANCISCO. SINGAPORE.
More informationCSC384: Intro to Artificial Intelligence Knowledge Representation II. Required Readings: 9.1, 9.2, and 9.5 Announcements:
CSC384: Intro to Artificial Intelligence Knowledge Representation II Required Readings: 9.1, 9.2, and 9.5 Announcements: 1 Models Examples. Environment A Language (Syntax) Constants: a,b,c,e Functions:
More informationER Modelling: Summary
ER Modelling: Summary ER describes the world (the set of possible worlds) what it is and the laws of this world ER is static: it does not describe (legal) transitions Useful for two purposes build software
More informationOverview of Logic and Computation: Notes
Overview of Logic and Computation: Notes John Slaney March 14, 2007 1 To begin at the beginning We study formal logic as a mathematical tool for reasoning and as a medium for knowledge representation The
More informationA Magic Approach to Optimizing Incremental Relational Expressions
A Magic Approach to Optimizing Incremental Relational Expressions Andreas Behrend Institute of Computer Science III, University of Bonn Römerstr. 164, D-53117 Bonn, Germany behrend@cs.uni-bonn.de ABSTRACT
More informationParameterized Regular Expressions and Their Languages
Parameterized Regular Expressions and Their Languages Pablo Barceló a, Juan Reutter b, Leonid Libkin b a Department of Computer Science, University of Chile b School of Informatics, University of Edinburgh
More informationMITOCW watch?v=fkfsmwatddy
MITOCW watch?v=fkfsmwatddy PROFESSOR: We've seen a lot of functions in introductory calculus-- trig functions, rational functions, exponentials, logs and so on. I don't know whether your calculus course
More informationProving simple set properties...
Proving simple set properties... Part 1: Some examples of proofs over sets Fall 2013 Proving simple set properties... Fall 2013 1 / 17 Introduction Overview: Learning outcomes In this session we will...
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More informationThe Representation of Medical Reasoning Models in Resolution-based Theorem Provers
The Representation of Medical Reasoning Models in Resolution-based Theorem Provers Originally Presented by Peter Lucas Department of Computer Science, Utrecht University Presented by Sarbartha Sengupta
More information4 ENTER Adaptive Logics
4 0 4 ENTER Adaptive Logics 4.1 The problem 4.2 Characterization of an adaptive Logic 4.3 Annotated dynamic proofs: Reliability 4.4 Semantics 4.5 Annotated dynamic proofs: Minimal Abnormality 4.6 Some
More informationMathematics Foundation for College. Lesson Number 1. Lesson Number 1 Page 1
Mathematics Foundation for College Lesson Number 1 Lesson Number 1 Page 1 Lesson Number 1 Topics to be Covered in this Lesson Sets, number systems, axioms, arithmetic operations, prime numbers and divisibility,
More information2.6 Complexity Theory for Map-Reduce. Star Joins 2.6. COMPLEXITY THEORY FOR MAP-REDUCE 51
2.6. COMPLEXITY THEORY FOR MAP-REDUCE 51 Star Joins A common structure for data mining of commercial data is the star join. For example, a chain store like Walmart keeps a fact table whose tuples each
More informationAS/NZS ISO :2015
Australian/New Zealand Standard Geographic information Reference model Part 1: Fundamentals Superseding AS/NZS ISO 19101:2003 AS/NZS ISO 19101.1:2015 (ISO 19101-1:2014, IDT) AS/NZS ISO 19101.1:2015 This
More information2.2 Lowenheim-Skolem-Tarski theorems
Logic SEP: Day 1 July 15, 2013 1 Some references Syllabus: http://www.math.wisc.edu/graduate/guide-qe Previous years qualifying exams: http://www.math.wisc.edu/ miller/old/qual/index.html Miller s Moore
More informationSpatial Data Warehouses: Some Solutions and Unresolved Problems
Spatial Data Warehouses: Some Solutions and Unresolved Problems Elzbieta Malinowski and Esteban Zimányi Université Libre de Bruxelles Department of Computer & Decision Engineering emalinow@ulb.ac.be, ezimanyi@ulb.ac.be
More informationIncomplete Information in RDF
Incomplete Information in RDF Charalampos Nikolaou and Manolis Koubarakis charnik@di.uoa.gr koubarak@di.uoa.gr Department of Informatics and Telecommunications National and Kapodistrian University of Athens
More information4. Sets The language of sets. Describing a Set. c Oksana Shatalov, Fall
c Oksana Shatalov, Fall 2017 1 4. Sets 4.1. The language of sets Set Terminology and Notation Set is a well-defined collection of objects. Elements are objects or members of the set. Describing a Set Roster
More informationLecture 16: Relevance Lemma and Relational Databases
Lecture 16: Relevance Lemma and Relational Databases In the last lecture we saw an introduction to first order logic, discussing both its syntax and semantics. After defining semantics, the reader may
More informationShort Introduction to Admissible Recursion Theory
Short Introduction to Admissible Recursion Theory Rachael Alvir November 2016 1 Axioms of KP and Admissible Sets An admissible set is a transitive set A satisfying the axioms of Kripke-Platek Set Theory
More informationThe Multi-Output Firm
Prerequisites Almost essential Firm: Optimisation Useful, but optional Firm: Demand and Supply The Multi-Output Firm MICROECONOMICS Principles and Analysis Frank Cowell October 2006 Introduction This presentation
More informationTowards Operations on Operational Semantics
Towards Operations on Operational Semantics Mauro Jaskelioff mjj@cs.nott.ac.uk School of Computer Science & IT 22 nd British Colloquium for Theoretical Computer Science The Context We need semantics to
More informationRelational Algebra as non-distributive Lattice
Relational Algebra as non-distributive Lattice VADIM TROPASHKO Vadim.Tropashko@orcl.com We reduce the set of classic relational algebra operators to two binary operations: natural join and generalized
More informationNon-Deterministic Time
Non-Deterministic Time Master Informatique 2016 1 Non-Deterministic Time Complexity Classes Reminder on DTM vs NDTM [Turing 1936] (q 0, x 0 ) (q 1, x 1 ) Deterministic (q n, x n ) Non-Deterministic (q
More information