A formal basis for schema analysis of semantic database update semantics

Authors:
James Brawner;James Vorbach
Affiliations:
Department of Mathematics and Computer Science, St. John's University, Jamaica, NY;Department of Mathematics and Computer Science, St. John's University, Jamaica, NY
Venue:
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Year:
1995

A logic-based language for database updates

Foundations of deductive databases and logic programming
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Readings in object-oriented database systems

Readings in object-oriented database systems
Object-oriented databases: a semantic data model approach

Object-oriented databases: a semantic data model approach
CONTEXT: a CONstrainT EXplanation Tool

Data & Knowledge Engineering
First-Order Dynamic Logic

First-Order Dynamic Logic
Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development

Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development
Algorithmic Logic

Algorithmic Logic

Hi-index	0.00