| 
|
QuoteRef: smitJM1_1981
topics >
all references >
ThesaHelp:
references sa-sz
Topic:
function vs. procedure
Topic:
constraints
Topic:
program proof via assertions
Topic:
non-exclusive data type
Topic:
database transactions
Topic:
exception handling by recovery block or rescue clause
Reference
Smith, J.M., "Consistency of models (chairman for session topic) ", SIGPLAN , 16, 1, pp. 72-76 , January 1981 . Google
Other Reference
SIGART 74, SIGMOD 11.2
72 ;;Quote: functions for examining states and procedures for changing states
72 ;;Quote: constraints for which operations for an entity, static and dynamic invariants, and pre-/ post-conditions
73 ;;Quote: an entity can participate in multiple types; e.g., both numbers and characters are ordered sets
75 ;;Quote: a transaction is either carried out completely or not at all
75 ;;Quote: need backward error recovery to reset a system and forward error recovery to patch up the damage
75 ;;Quote: forward error recovery needed if error discovered after commitment; need a data dictionary to determine effected programs
ThesaHelp: references sa-sz (237 items)
Topic: function vs. procedure (9 items)
Topic: constraints (35 items)
Topic: program proof via assertions (61 items)
Topic: non-exclusive data type (16 items)
Topic: database transactions (26 items)
Topic: exception handling by recovery block or rescue clause (22 items)