ABRV/ACR FUNDAMENTAL TERM
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
No comments:
Post a Comment