<--- Back to Details
First PageDocument Content
Data modeling / Database theory / Query languages / Relational database management systems / Null / SQL / Relational model / Three-valued logic / Relational algebra / Data management / SQL keywords / Computing
Date: 2009-03-12 16:12:24
Data modeling
Database theory
Query languages
Relational database management systems
Null
SQL
Relational model
Three-valued logic
Relational algebra
Data management
SQL keywords
Computing

Add to Reading List

Source URL: www09.sigmod.org

Download Document from Source Website

File Size: 279,80 KB

Share Document on Facebook

Similar Documents

Logic / Mathematical logic / Theoretical computer science / Boolean algebra / Logic in computer science / Formal methods / Classical logic / Formal verification / Model checking / Modal logic / Propositional calculus / Temporal logic

Modular Verification of Open Features Through Three-Valued Model Checking  Harry C. Li Brown University, USA

DocID: 1q3hX - View Document

The lattice of all clones of self-dual functions in three-valued logic D MITRIY Z HUK? Department of Mathematics and Mechanics, Moscow State University, Russia Received 30 September 2011; In final form 15 August 2012

DocID: 1fnOH - View Document

Propositional calculus / Semantics / Boolean algebra / Logical connective / Truth table / Valuation / If and only if / Tautology / Natural deduction / Abstract algebra / Logic / Mathematics

Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each

DocID: 18xS7 - View Document

Relational model / Null / Relational algebra / Conjunctive query / FO / SQL / Function / Symbol / Data management / Mathematics / Computing

SQL’s Three-Valued Logic and Certain Answers Leonid Libkin School of Informatics, University of Edinburgh Abstract SQL uses three-valued logic for evaluating queries on databases with nulls. The standard theoretical ap

DocID: 12JCv - View Document

Model theory / Non-classical logic / Propositional calculus / Philosophical logic / Boolean algebra / Interpretation / Modal logic / First-order logic / Function / Logic / Mathematical logic / Mathematics

Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗

DocID: NdsQ - View Document