A temporal logic-based approach for the description of object behavior evolution Constantin Arapis OriginalPaper Pages: 1 - 40
A survey of some combinatorial results concerning functional dependencies in database relations J. DemetrovicsG. O. H. Katona OriginalPaper Pages: 63 - 82
Functional dependencies among Boolean dependencies J. DemetrovicsL. RónyaiHua Nam Son OriginalPaper Pages: 83 - 106
Characterization of desirable properties of general database decompositions Stephen J. Hegner OriginalPaper Pages: 129 - 195
Static and dynamic aspects of goal-oriented concurrency control Victor VianuGottfried Vossen OriginalPaper Pages: 257 - 287
Actors, actions, and initiative in normative system specification R. J. WieringaJ. -J. Ch. Meyer OriginalPaper Pages: 289 - 346