A Formal System for Reasoning about Programs Accessing a Relational Database (Q3912081)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Formal System for Reasoning about Programs Accessing a Relational Database |
scientific article |
Statements
A Formal System for Reasoning about Programs Accessing a Relational Database (English)
0 references
1980
0 references
data definition languages
0 references
data manipulation languages
0 references
aggregation operators
0 references
synchronization
0 references
consistency preservation
0 references
serializability
0 references
dynamic logic
0 references
many-sorted first-order logic
0 references