<--- Back to Details
First PageDocument Content
Data / Relational model / Database normalization / Relational algebra / Database design / Third normal form / First normal form / Relational database / Second normal form / Data management / Database theory / Database management systems
Date: 2001-01-02 14:43:00
Data
Relational model
Database normalization
Relational algebra
Database design
Third normal form
First normal form
Relational database
Second normal form
Data management
Database theory
Database management systems

Add to Reading List

Source URL: www.hicss.hawaii.edu

Download Document from Source Website

File Size: 23,22 KB

Share Document on Facebook

Similar Documents

A Normal Form for XML Documents MARCELO ARENAS and LEONID LIBKIN University of Toronto, Toronto, Ontario, Canada This article takes a first step towards the design and normalization theory for XML documents. We show that

DocID: 1tLrK - View Document

Logic / Mathematical logic / Abstraction / Model theory / Proof theory / Predicate logic / Logic in computer science / Philosophical logic / Skolem normal form / Herbrandization / First-order logic / Intuitionistic logic

On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104

DocID: 1rdlF - View Document

Logic / Mathematical logic / Abstraction / Model theory / Proof theory / Predicate logic / Philosophical logic / Non-classical logic / Sequent / First-order logic / Quantifier / Skolem normal form

Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria

DocID: 1qBJr - View Document

Recursion / Binary trees / Knowledge representation / Computability theory / B-tree / Binary expression tree / Tree traversal / Disjunctive normal form / Tree / Parallel Tree Contraction / Interval tree

Efficiently Evaluating Complex Boolean Expressions Marcus Fontoura Suhas Sadanandan Jayavel Shanmugasundaram Sergei Vassilvitski Erik Vee Srihari Venkatesan Jason Zien Yahoo! Research, 701 First Ave., Sunnyvale, CA 94089

DocID: 1pncy - View Document

Model theory / Logic / Predicate logic / Quantification / Skolem normal form / Inverse trigonometric functions / Quantifier / Surjective function / Unification / Herbrandization / First-order logic

Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011

DocID: 1ot1b - View Document