Conceptual modelling of database applications using an extended ER model
Data & Knowledge Engineering
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
UML distilled (2nd ed.): a brief guide to the standard object modeling language
UML distilled (2nd ed.): a brief guide to the standard object modeling language
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
Automatic Generation of Database Instances for White-box Testing
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
On Interactions of Cardinality Constraints, Key, and Functional Dependencies
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Enhancing the Quality of Conceptual Database Specifications through Validation
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
An AGENDA for testing relational database applications: Research Articles
Software Testing, Verification & Reliability
Simple and realistic data generation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
QAGen: generating query-aware test databases
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Model Driven Development with NORMA
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Information Modeling and Relational Databases
Information Modeling and Relational Databases
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Query-Aware Test Generation Using a Relational Constraint Solver
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Automated Test Input Generation for Software That Consumes ORM Models
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Unbounded data model verification using SMT solvers
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Scalable test data generation from multidimensional models
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
LogicBlox, platform and language: a tutorial
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Data model property inference and repair
Proceedings of the 2013 International Symposium on Software Testing and Analysis
| Hi-index | 0.00 |
Conceptual data models describe information systems without the burden of implementation details, and are increasingly used to generate code. They could also be analyzed for consistency and to generate test data except that the expressive constraints supported by popular modeling notations make such analysis intractable. In an earlier empirical study of conceptual models created at LogicBlox Inc., Smaragdakis, Csallner, and Subramanian found that a restricted subset of ORM, called ORM−, includes the vast majority of constraints used in practice and, moreover, allows scalable analysis. After that study, however, LogicBlox Inc. obtained a new ORM modeling tool, which supports discovery and specification of more complex constraints than the previous tool. We report findings of a follow-up study of models constructed using the more powerful tool. Our study finds that LogicBlox developers increasingly rely on a small number of features not in the ORM− subset. We extend ORM− with support for two of them: objectification and a restricted class of external uniqueness constraints. The extensions significantly improve our ability to analyze the ORM models created by developers using the new tool. We also show that a recent change to ORM has rendered the original ORM− algorithms unsound, in general; but that an efficient test suffices to show that these algorithms are in fact sound for the ORM− constraints appearing in any of the models currently in use at LogicBlox.