Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
The treatment of data types in EL1
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
The semantic data model: a modelling mechanism for data base applications
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
An architecture for high-level language database extensions
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
Data abstraction, views and updates in RIGEL
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
A semantic network model of data bases.
A semantic network model of data bases.
Design and verification of information systems
Design and verification of information systems
The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
A database design methodology and tool for information systems
ACM Transactions on Information Systems (TOIS)
Modeling concepts for VLSI CAD objects
ACM Transactions on Database Systems (TODS)
A federated architecture for information management
ACM Transactions on Information Systems (TOIS)
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
A framework for choosing a database query language
ACM Computing Surveys (CSUR)
Summarizing natural language database responses
Computational Linguistics
Deciding properties of transactional schemas
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Inheritance and persistence in database programming languages
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
An object-oriented approach to multimedia databases
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A shared, segmented memory system for an object-oriented database
ACM Transactions on Information Systems (TOIS)
Dialog management in interactive systems: a comparative survey
ACM SIGCHI Bulletin
Extending a database system with procedures
ACM Transactions on Database Systems (TODS)
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
A translation language complete for database update and specification
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Development of an object-oriented DBMS
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The management of changing types in an object-oriented database
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Implementation of a compiler for a semantic data model: Experiences with taxis
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Mapping a semantic database model to the relational model
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
An object-oriented design system shell
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Combining language and database advances in an object-oriented development environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
SIM: a database system based on the semantic data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Managing knowledge about information system evolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A data model and query language for EXODUS
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Functional Development of Database Applications
IEEE Transactions on Software Engineering
DALI-a knowledge base management system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
ACM Computing Surveys (CSUR)
Type systems for querying class hierarchies with non-strict inheritance
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A knowledge-base environment for the development of software parts composition systems
ICSE '89 Proceedings of the 11th international conference on Software engineering
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
The 3DIS: an extensible object-oriented information management environment
ACM Transactions on Information Systems (TOIS)
Explaining ambiguity in a formal query language
ACM Transactions on Database Systems (TODS)
Derived data update in semantic databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A multi-formalism specification environment
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Adding relational abstraction to programming languages
Conference proceedings on Formal methods in software development
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
A software tool for modular database design
ACM Transactions on Database Systems (TODS)
An Architecture for High Performance Engineering Information Systems
IEEE Transactions on Software Engineering
Database programming languages: a functional approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
K: a high-level knowledge base programming language for advanced database applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Suitability of datamodels as canonical models for federated databases
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS)
ERC++: a model based on object and logic paradigms
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A classification algorithm for supporting object-oriented views
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Preserving update semantics in schema integration
CIKM '94 Proceedings of the third international conference on Information and knowledge management
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
The C++ interface in objectivity
ACM SIGPLAN Notices
Proceedings of the 30th IEEE symposium on Foundations of computer science
A visual interface for a database with version management
ACM Transactions on Information Systems (TOIS) - Special issue: selected papers from the conference on office information systems
An image retrieval model based on classical logic
SIGIR '95 Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
ICSE '91 Proceedings of the 13th international conference on Software engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Managing performance requirements for information systems
Proceedings of the 1st international workshop on Software and performance
Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A data modeling methodology for the design and implementation of information systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
The Data Model Compiler: a tool for generating object-oriented database systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
A strongly typed, interactive object-oriented database programming language
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
An object server for an object-oriented database system
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
ISIS: interface for a semantic information system
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Three principles of representation for semantic networks
ACM Transactions on Database Systems (TODS)
Exceptions in object-oriented languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Maintaining consistency in a database with changing types
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Why properties are objects or some refinements of “is-a”
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The design requirements of office systems
ACM Transactions on Information Systems (TOIS)
A data modeling approach for office information systems
ACM Transactions on Information Systems (TOIS)
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Unified dialogue management in the carousel system
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relative information capacity of simple relational database schemata
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
IFO: a formal semantic database model
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Compatible attributes in a universal relation
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
The format model: a theory of database organization
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
An implementation of GEM: supporting a semantic data model on a relational back-end.
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Fibonacci: a programming language for object databases
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Selection of Indexes to Memory-Resident Entities for Semantic Data
IEEE Transactions on Knowledge and Data Engineering
The Iris Architecture and Implementation
IEEE Transactions on Knowledge and Data Engineering
Constraint Analysis: A Design Process for Specifying Operations on Objects
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
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Materialization and Its Metaclass Implementation
IEEE Transactions on Knowledge and Data Engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Mathemtical Model of Composite Objects and Its Application for Organizing Engineering Databases
IEEE Transactions on Software Engineering
Dependence Directed Reasoning and Learning in Systems Maintenance Support
IEEE Transactions on Software Engineering
Providing Customized Assistance for Software Lifecycle Approaches
IEEE Transactions on Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
The Semantic Binary Relationship Model of information
SIGIR '84 Proceedings of the 7th annual international ACM SIGIR conference on Research and development in information retrieval
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A General Model for Version Management in Databases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Dynamic Derivation of Personalized Views
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Database Application Development as an Object Modeling Activity
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
Materialization: A Powerful and Ubiquitous Abstraction Pattern
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Modularization Mechanism for Conceptual Modeling
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Data Modeling Approach to Simplify the Design of User Interfaces
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The NODS Project: Networked Open Database Services
Proceedings of the International Symposium on Objects and Databases
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Relationship Type Refinement in Conceptual Models with Multiple Classification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Definition and Application of Metaclasses
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
The design and implementation of K: a high-level knowledge-base programming language of OSAM*.KBMS
The VLDB Journal — The International Journal on Very Large Data Bases
Paragon: Novel uses of type hierarchies for data abstraction
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dialogue and process design for interactive information systems using Taxis
Proceedings of the SIGOA conference on Office information systems
Office information models and the representation of 'office objects'
Proceedings of the SIGOA conference on Office information systems
Abstraction mechanisms for database programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
A programming language framework for designing user interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Type hierarchies and Semantic Data Models
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Data and activities: Exploiting hierarchies of classes
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Data abstraction for designing database-intensive applications
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A perspective for research on conceptual modelling
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A conceptual schema for Knowledge-based systems
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Natural language database updates
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1
SOS: a conceptual model for office information systems
ACM SIGMIS Database - Database techniques and models for the office environment: selected papers from the Database Week Conference
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
Interactive specification and formal verification of user's views in data bases design
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Database design tools: an expert system approach
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
On modelling behavioural semantics of databases
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Data models and data manipulation languages: complementary semantics and proof theory
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Some features of the TAXIS data model
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
Towards an Abstraction Ontology
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Heterogeneity in Model Management: A Meta Modeling Approach
Conceptual Modeling: Foundations and Applications
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
On the definition of specialization hierarchies for procedures
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Demand and requirements for natural language systems: results of an inquiry
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Metamodelling with datalog and classes: conceptbase at the age of 21
ICOODB'09 Proceedings of the Second international conference on Object databases
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
Real-world semantics of conceptual models
The evolution of conceptual modeling
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
On the use of association redefinition in UML class diagrams
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
| Hi-index | 0.00 |
TAXIS, a language for the design of interactive information systems (e.g., credit card verification, student-course registration, and airline reservations) is described. TAXIS offers (relational) database management facilities, a means of specifying semantic integrity constraints, and an exception-handling mechanism, integrated into a single language through the concepts of class, property, and the IS-A (generalization) relationship. A description of the main constructs of TAXIS is included and their usefulness illustrated with examples.