Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
A database design methodology and tool for information systems
ACM Transactions on Information Systems (TOIS)
Non first normal form relations: An algebra allowing data restructuring
Journal of Computer and System Sciences
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Restructuring hierarchical database objects
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Limitations of record-based information models
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
Data Models
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
IFO: a formal semantic database model
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
SNAP: A Graphics-based Schema Manager
Proceedings of the Second International Conference on Data Engineering
Formal Properties of Net-Based Knowledge Representation Schemes
Proceedings of the Second International Conference on Data Engineering
LAURA: A Formal Data Model and her Logical Design Methodology
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The Structural Model for Database Design
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Abstraction mechanisms in hypertext
Communications of the ACM
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
ACM Transactions on Information Systems (TOIS)
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
On accessing object-oriented databases: expressive power, complexity, and restrictions
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A grammar-based approach towards unifying hierarchical data models
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
Derived data update in semantic databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Semantics modeling issues for processing natural language database queries
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
ACM SIGACT News
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Towards a semantic view of an extended entity-relationship model
ACM Transactions on Database Systems (TODS)
Tractable query languages for complex object databases
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the equivalence of database restructurings involving object identifiers (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Updating relational databases through object-based views
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Object-preserving class transformations
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Modeling Security-Relevant Data Semantics
IEEE Transactions on Software Engineering
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Structure and semantics in OODB class specifications
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS)
Semantic data modeling of hypermedia associations
ACM Transactions on Information Systems (TOIS)
Normal forms and conservative properties for query languages over collection types
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database method schemas and object creation
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
InGRAPH: graphical interface for a fully object-oriented database system
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
On temporal modeling in the context of object databases
ACM SIGMOD Record
Database model for design data
ACM SIGPLAN OOPS Messenger
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Querying typed hypertexts in Multicard/O2
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
A close look at the IFO data model
ACM SIGMOD Record
Response to “A close look at the IFO data model”
ACM SIGMOD Record
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Automated Query Formulation Using an Entity–Relationship Conceptual Schema
Journal of Intelligent Information Systems
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
Object identity as a query language primitive
Journal of the ACM (JACM)
On the expressive power of database queries with intermediate types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A unifying logic-based formalism for semantic data models
CSC '91 Proceedings of the 19th annual conference on Computer Science
ADAM: a graphical, object-oriented database-design tool and code generator
CSC '91 Proceedings of the 19th annual conference on Computer Science
Using abstractions for spatio-temporal conceptual modeling
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conceptual Data Modeling for Spatiotemporal Applications
Geoinformatica
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
MORE: An Object-Oriented Data Model with a Facility for Changing Object Structures
IEEE Transactions on Knowledge and Data Engineering
A Universal Relation Data Model with Semantic Abstractions
IEEE Transactions on Knowledge and Data Engineering
Set Operations in Object-Based Data Models
IEEE Transactions on Knowledge and Data Engineering
Set Restrictions for Semantic Groupings
IEEE Transactions on Knowledge and Data Engineering
An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering
Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
A Database Perspective on Geospatial Data Modeling
IEEE Transactions on Knowledge and Data Engineering
Typing Graph-Manipulation Operations
ICDT '03 Proceedings of the 9th International Conference on Database Theory
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Dynamic Constraints and Object Migration
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Towards a Formal Approach for Object Database Design
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Towards Event-Driven Modelling for Database Design
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Data Transformation System for Biological Data Sources
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Automatic Semantic Object Discovery and Mapping from Non-normalised Relational Database Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
OLOG: A Deductive Object Database Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
A General Object-Oriented Model for Spatial Data
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Union Types for Semistructured Data
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
A Polygen Model for Heterogeneous Database Systems: The Source Tagging Perspective
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Graphical interaction with heterogeneous databases
The VLDB Journal — The International Journal on Very Large Data Bases
Object models as heap invariants
Programming methodology
An Extended Conceptual Model for Fuzzy Data Modeling
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
A knowledge management scheme for meta-data: an information structure graph
Decision Support Systems - Special issue: Knowledge management technique
Extending object-oriented databases for fuzzy information modeling
Information Systems - Databases: Creation, management and utilization
Modeling and Management of Fuzzy Information in Multimedia Database Applications
Multimedia Tools and Applications
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
Enriching the class diagram concepts to capture natural language semantics for database access
Data & Knowledge Engineering
Description Logics, Data Modelling and Relational Dependencies
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
A graphical interface for cooperative access to distributed and heterogeneous database systems
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Visualizing software artifacts using hypergraphs
Proceedings of the 26th Spring Conference on Computer Graphics
Fuzzy information modeling in UML class diagram and relational database models
Applied Soft Computing
Introducing specialization and generalization to a graph-based data model
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part IV
Aggregation in ontologies: practical implementations in OWL
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Advances in fuzzy temporal relational databases: a review
WSEAS Transactions on Information Science and Applications
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
| Hi-index | 0.02 |
A new, formally defined database model is introduced that combines fundamental principles of “semantic” database modeling in a coherent fashion. Using a graph-based formalism, the IFO model provides mechanisms for representing structured objects, and functional and ISA relationships between them. A number of fundamental results concerning semantic data modeling are obtained in the context of the IFO model. Notably, the types of object structure that can arise as a result of multiple uses of ISA relationships and object construction are described. Also, a natural, formal definition of update propagation is given, and it is shown that (under certain conditions) a correct update always exists.