-------------------------------------------------------------------------------------------------------------

 AppFn                   Application function

                            Assertion

AP                        Assertion predicate

                           Atomic value

                           Attribute

                           Attribute constraint

                           Axiom

 

                           Bag

                           Base relation

BusRule                Business rule

 

CK                       Candidate key

                           Cartesian product

                           Class

CWA                     Closed World Assumption

CCL                      Computationally complete language

CLC                      Conceptual-logical conflation

CncptMdl               Conceptual (business) model

                            Consistency  

                            Constraint

                            Constraint inheritance

 

DI                         Data independence

DtLng                    Data language

                            Data management function

                            Data manipulation        

DtMdl                    Data model

                            Data structure

DtSubLng              (Relational) Data sub-language

                            Data type

                            Database bias

                            Database catalog

                            Database (multirelation) constraint

DBP                      Database predicate

DBMSFn                DBMS function

DcdLng                 Decidable language

DclLng                  Declarative language

                            Derived domain

                            Derived relation

                            Descriptively equivalent objects

                            Difference (RA)

                            Disjunctive constraint

                            Division (RA)

                            Domain

                            Domain constraint

 

E/RM                     Entity

                            Entity group

                            Entity name

                            Entity/Relationship Model

                            Entity supertype-subtypes

 

                            Fact

5NF                       Fifth Normal Form

1NF                       First Normal Form

FOPL                      First order predicate logic

1OP                       First order property

FK                         Foreign key

                            Formal system

4NF                       Fourth Normal Form

FD                        Functional dependency

 

                            Graph theory

                            Guaranteed logical access

 

                            Hierarchic “data model”

 

                            Imperative (procedural) language

                            Inferencing

IP                         Information Principle

                           Data integrity

II                         Integrity independence

                           Interpretation

                           Intersect (RA)

 

                           Join (RA)

 

                           Language redundancy

                           Logical database design

LI                        Logical independence

LogMdl                 Logical model

LPC                      Logical-physical confusion

LogValid               Logical validity

 

M:N                     Many-to-many relationship

M:1                     Many-to-one relationship

nVL                     Many-valued logic

                          Meaning

                          Meaning criterion

                          Metadata

                          Meta-language

MissDt                 Missing data

                          Missing value mark

                          Multigroup rule

                          Multiobject rule

                          Multituple constraint

                          Natural join (RA)

NK                      Natural key

                          Nestability

                          Network “data model”

                          Neutral database

NIAM                   Nijssen Info. Analysis Methodology

                          Non-data management function

                          Normal form

                          Normalization

                          NULL

 

                          Object identifier

                          Object language

OOP                    Object-oriented programming

ORM                    Object-Role Modeling

                          Object rule

                     

                          Physical (database) implementation

PI                       Physical independence

PhysMdl               Physical model

                          Primitive domain 

Pred                    Predicate

PK                       Primary key

                          PK constraint

POEC                   Principle of Expressive Completeness

POFN                   Principle of Full Normalization

POOD                  Principle of Orthogonal Design

PORP                   Principle of Representational Parsimony

                          Project (RA)

                          Proper set

                          Property rule

Prop                    Proposition

 

                          Recursive (self-referencing) language

Redund                Redundancy

                          Redundancy control

                          Referential constraint

                          Referential rule

                          Relation

RP                       Relation predicate

RVD                    Relation-valued domain

RelVar                  Relation variable

RA                       Relational algebra

RelClsr                 Relational closure

                          Relational database

RDM                    Relational Data Model

RDBMS                Relational DBMS

RelFid                  Relational fidelity

R-table                 Relational table

 

2NF                      Second Normal Form

SOL                     Second order logic

2OP                     Second order property

SemCorr               Semantic correctness

                           Semantics

                           Set

SST                      Simple set theory

SmplDom              Simple domain

6NF                      Sixth Normal Form

                           Subject language

SK                        Surrogate key

 

                           Theorem

3NF                      Third Normal Form

3OP                      Third order property

                            Time-varying relation

TC                         Transitive closure

                            Truth

                            Tuple

                            Tuple constraint

2VL                       Two-Valued Logic

                            Type

 

                            Union (RA)

                            Uniqueness constraint

                            User-defined domain

 

                            View updating

View                      Virtual relation