Handling database updates in two-dimensional temporal logic (Q4275692)
From MaRDI portal
scientific article; zbMATH DE number 487149
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Handling database updates in two-dimensional temporal logic |
scientific article; zbMATH DE number 487149 |
Statements
Handling database updates in two-dimensional temporal logic (English)
0 references
1 February 1994
0 references
two-dimensional temporal logic
0 references
historical database systems
0 references
updates
0 references
temporal specifications
0 references
temporal actions
0 references
