On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models Mehrdad Salehi Yvan Bédard Mir Abolfazl Mostafavi Jean Brodeur.

Slides:



Advertisements
Similar presentations
Three-Step Database Design
Advertisements

Chapter 2 Entity-Relationship Data Modeling: Tools and Techniques
Database Systems: Design, Implementation, and Management Tenth Edition
1 A Description Logic with Concrete Domains CS848 presentation Presenter: Yongjuan Zou.
SEBGIS 2005, Agia Napa, Cyprus, October 31 - November 4, 2005 MECOSIG Adapted to the Design of Distributed GIS F. Pasquasy, F. Laplanche, J-C. Sainte &
Geographical Information Systems and Science Longley P A, Goodchild M F, Maguire D J, Rhind D W (2001) John Wiley and Sons Ltd 9. Geographic Data Modeling.
Data Modeling is an Analysis Activity
The Vuel Concept: Towards a new way to manage Multiple Representations in Spatial Databases ISPRS / ICA Workshop Multi-Scale Representations of Spatial.
1 © Prentice Hall, 2002 Chapter 3: Modeling Data in the Organization Modern Database Management 6 th Edition Jeffrey A. Hoffer, Mary B. Prescott, Fred.
NaLIX: A Generic Natural Language Search Environment for XML Data Presented by: Erik Mathisen 02/12/2008.
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Kari R. Schougaard, PhD Stud. Værktøjer og Teknikker, 2006 UNIVERSITY OF AARHUS Department of Computer Science Unified Modeling Language Visual language.
Chapter 3: Modeling Data in the Organization
Fundamentals, Design, and Implementation, 9/e COS 346 Day 2.
1 Conceptual Modeling of Topic Maps with ORM Versus UML Are D. Gulbrandsen The XML group, Center for Information Technology Services, University of Oslo,
Conceptual modelling. Overview - what is the aim of the article? ”We build conceptual models in our heads to solve problems in our everyday life”… ”By.
Chapter 3 © 2005 by Prentice Hall 1 Objectives Definition of terms Definition of terms Importance of data modeling Importance of data modeling Write good.
LUCENTIA Research Group Department of Software and Computing Systems Using i* modeling for the multidimensional design of data warehouses Jose-Norberto.
RIZWAN REHMAN, CCS, DU. Advantages of ORDBMSs  The main advantages of extending the relational data model come from reuse and sharing.  Reuse comes.
Meaningful Modeling: What’s the Semantics of “Semantics”? David Harel, Weizmann Institute of Science Bernhard Rumpe, Technische Universität Braunschweig.
Chapter 2 Database System Concepts and Architecture
International Telecommunication Union ITU-T Study Group 17, Moscow, 30 March – 8 April 2005 New Recommendations on ODP Arve Meisingset Rapporteur Q15.
1 © Prentice Hall, 2002 CMIS564: E/R Modeling Dr. Bordoloi Based on Chapter 3; Modern Database Management 6 th Edition Jeffrey A. Hoffer, Mary B. Prescott,
1 © Prentice Hall, 2002 Chapter 3: Modeling Data in the Organization Modern Database Management 6 th Edition Jeffrey A. Hoffer, Mary B. Prescott, Fred.
3.1 CSIS 3310 Chapter 3 The Entity-Relationship Model Conceptual Data Modeling.
1 CIM User Group Conference Call december 8th 2005 Using UN/CEFACT Core Component methodology for EIC/TC 57 works and CIM Jean-Luc SANSON Electrical Network.
Lecture 2 The Relational Model. Objectives Terminology of relational model. How tables are used to represent data. Connection between mathematical relations.
National Survey and Cadastre – Denmark Conceptual Modeling of Geographic Databases - Emphasis on Relationships among Geographic Databases Anders Friis-Christensen.
GeoUML a conceptual data model for geographical data conformant to ISO TC 211 Main GeoUML constructs Alberto BelussiNovembre 2004.
Chapter 2: Modeling Data in the Organization
MIS 385/MBA 664 Systems Implementation with DBMS/ Database Management Dave Salisbury ( )
Database Processing: Fundamentals, Design and Implementation, 9/e by David M. KroenkeChapter 2/1 Copyright © 2004 Please……. No Food Or Drink in the class.
A Z Approach in Validating ORA-SS Data Models Scott Uk-Jin Lee Jing Sun Gillian Dobbie Yuan Fang Li.
9/10/2012ISC 329 Isabelle Bichindaritz1 Entity Relationship (E-R) Modeling.
Introduction to MDA (Model Driven Architecture) CYT.
Formal Analysis of Problem Domain Workflows Uldis Donins Riga Technical University Baltic DB & IS 2012, July 8-11, Vilnius, Lithuania This work.
Specializing and extending the UML
A Static Approach to Consistency Verification of UML Models Andrea Baruzzo Department of Computer Science University of Udine MoDeV.
Chapter 12 Entity-Relationship Modeling Pearson Education © 2009.
Mapping the IntesaGIS model to the EuroRoads model Alberto Belussi Università di Verona Giuseppe Pelagatti, Mauro Negri Politecnico di Milano ESDI Workshop.
Rupa Tiwari, CSci5980 Fall  Course Material Classification  GIS Encyclopedia Articles  Classification Diagram  Course – Encyclopedia Mapping.
© D. Wong Ch. 2 Entity-Relationship Data Model (continue)  Data models  Entity-Relationship diagrams  Design Principles  Modeling of constraints.
Chapter 2 Database System Concepts and Architecture Dr. Bernard Chen Ph.D. University of Central Arkansas.
Quality issues in Spatial Databases M. Mostafavi, G. Edwards, R. Jeansoulin CRG & GEOIDE & REVIGIS Victoria, May 2003.
Gerhard Dueck -- CS3013Requirements Capture 1  From Vision to Requirements  Why it is difficult?  Developers are not users  Inadequate requirements.
MIS 385/MBA 664 Systems Implementation with DBMS/ Database Management
1 Database Systems Entity Relationship (E-R) Modeling.
Software Requirements Specification (SRS)
Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.
ece 627 intelligent web: ontology and beyond
Chapter 3: Modeling Data in the Organization. Business Rules Statements that define or constrain some aspect of the business Assert business structure.
UML Profile BY RAEF MOUSHEIMISH. Background Model is a description of system or part of a system using well- defined language. Model is a description.
Modeling Security-Relevant Data Semantics Xue Ying Chen Department of Computer Science.
Presented by Kyumars Sheykh Esmaili Description Logics for Data Bases (DLHB,Chapter 16) Semantic Web Seminar.
Department of Mathematics Computer and Information Science1 CS 351: Database Management Systems Christopher I. G. Lanclos Chapter 4.
Introduction: Databases and Database Systems Lecture # 1 June 19,2012 National University of Computer and Emerging Sciences.
© 2009 Pearson Education, Inc. Publishing as Prentice Hall 1 Lecture 3: Modeling Data in the Organization Modern Database Management 9 th Edition Jeffrey.
Model Checking Early Requirements Specifications in Tropos Presented by Chin-Yi Tsai.
Logical Database Design and the Rational Model
Object Management Group Information Management Metamodel
COP Introduction to Database Structures
Chapter 2 Database System Concepts and Architecture
SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.
SysML v2 Formalism: Requirements & Benefits
Quality Assessment in the framework of Map Generalization
Chapter 2 Database Environment.
CSc4730/6730 Scientific Visualization
Analysis models and design models
Chapter 3: Modeling Data in the Organization
Presentation transcript:

On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models Mehrdad Salehi Yvan Bédard Mir Abolfazl Mostafavi Jean Brodeur Center for Research in Geomatics (CRG) Department of Geomatics Sciences Laval University Canada ER 2007 Workshop on Semantics and Conceptual Issues in GIS (SeCoGIS) Auckland, Newzeland

Presentation Plan The role of spatial integrity constraints in spatial data quality Definition of spatial integrity constraints Classification of languages for the specification of spatial integrity constraints at the conceptual level + Examples Natural language Visual language First-order logic language Hybrid language Comparison of languages Conclusion and on-going/future work

The Role of SIC in Spatial Data Quality Internal Data Quality Completeness Positional Accuracy Temporal Accuracy Thematic Accuracy Logical Consistency External Data Quality Deals with fitness for use of the data SIC carry semantic information of a database application and are used to preserve logical consistency in spatial databases Spatial Data Quality

Spatial Integrity Constraints A spatial IC (SIC) defines mandatory, allowed, and unacceptable spatial relationships and values, sometimes in relation to other specific attribute values, geometric features shapes, specific relationships, or for given areas of validity. Simple examples of SIC: Topological IC: Based on topological properties and relationships “Each building must be represented by a closed area.” “Two buildings do not overlap.” Metric IC: Based on metric properties and relationships “The area of a house must be more than 100 square meters.” “Distance between a school and a gas station must be more than 30 meters.” Integrity constraints (IC) are assertions that restrict the data values that may appear in the database to prevent insertions of incorrect data.

Database Design Process Conceptuel Model Implementation Model PIM Traditional Database Design Process OMG’s MDA Approach CIM PSM CIM (Computation Independent Model): An end-user’s view of the data which is independent of the implementation PIM (Platform Independent Model): A developer’s view of the data on a family of platforms (e.g., OLAP servers) PSM (Platform Specific Model): A developer’s view of the data for a specific software package (e.g., Oracle)

Definition of SIC SIC convey essential semantic information of database applications It is necessary to define SIC at all levels of a spatial database design process Each database design level requires its specific SIC specification language (spatial ICSL) Conceptual level: SIC must be first defined with a language understandable to a database users Implementation level: SIC are then translated to a DDL or a programming language to be understandable to a computer This presentation focuses on the spatial ICSL at the conceptual level. SIC at the Conceptual Model SIC at the Implementation Model Disjoint (Road.geometry, Building.geometry) Road disjoint Building

Classification of the Spatial ICSL at the Conceptual Level We categorize the existing spatial ICSL at conceptual level into: Natural languages Free natural languages Controlled natural languages Visual languages First-order logic languages Hybrid languages Visual hybrid languages Natural hybrid languages

Natural Languages People use natural languages for their daily communications. They are the easiest languages for a database client to express SIC. 1. Free Natural Languages: are natural languages without additional limit to their syntax and semantics support a rich vocabulary are sometimes ambiguous or used too loosely Several words may bear the same semantics Words may have several meanings depending on the context Loose usage of restrictive terms (and, or, must, can, … ) 2. Controlled Natural Languages: are sub-sets of natural languages whose syntax and semantics are restricted are proposed to overcome the ambiguity of free natural languages

Natural Languages Examples for controlled natural languages: Ubeda and Egenhofer approach (1997): (Entity Class1, Topological Relation, Entity Class2, Quantifier) extended 9I model topological relationships (e.g., inside, cross) forbidden at least n times at most n times exactly n times Vallieres et. al approach (2006): “Objects Class1” + “Topological Relation” + “Objects Class2” + “[-,-]” 8 topological relations extended by three notions: tangent, border, strict Cardinality Example: (Road, Cross, Building, Forbidden) Example: Road Segment Touch-Tangent Road Segment [1,2]

Visual Languages Employs graphical and image notations Database end-user must learn the semantics of every visual construct understand very well the very specific context of its usage Several ambiguities and unintended meanings can emerge Example for visual spatial ICSL: Pizano et al. (1989) In this language pictures show unacceptable database states terms “constraint pictures” Cars and people cannot be inside a crosswalk simultaneously

First-Order Logic Language Supports precise semantics and syntax However, using and understanding this language requires a mathematical background Database end-users do not necessarily have a mathematical background Example of FOL for expressing SIC: Hadzilacos and Tryfona (1992) The syntax of this language is structured as: Atomic topological formulae consisting of: Binary topological relations between objects Geometric operator over objects Comparison between attributes of objects Negation, conjunction, disjunction, and universal and existential quantifications Example of SIC “A Road and a Building are disjoint” :

Hybrid Languages Are not purely natural, visual, or logical, instead are the combination of them Depending on the dominant part of a language, they are: 1. Visual hybrid languages The main part includes visual symbols Visual constructs are enriched by a limited number of natural language descriptions 2. Natural hybrid languages The dominant part is a natural language Complementary components are visual pictograms (e.g., ) or symbols

Hybrid Languages 1. Example for a visual hybrid language There is no visual hybrid spatial ICSL However, spatio-temporal conceptual modeling languages (e.g., Perceptory) specify a number of SIC in the conceptual schema contradicts the conciseness rule of conceptual schemas are mostly limited to “constraints on spatial relations” leave the remaining SIC to be defined by a specific spatial ICSL Example: “A Roundabout is crossed by at least one Route”

Hybrid Languages 2. Natural hybrid languages 2.1. Example for a natural hybrid language with pictograms Normand (1999) A language for defining SIC in the data dictionary and includes: three pictograms for point, line, and polygon topological relations based on ISO 9I model Defines topological and metric IC on the relationship between objects Supports multiple geometries Express a complex SIC for an object in a tabular form

Hybrid Languages 2. Natural hybrid languages 2.2. Example for natural hybrid language with symbols Spatial OCL (Kang et al. 2004) extends OCL, i.e., an ICSL along with UML, by adding: basic geometric primitives (e.g., point) to OCL meta-model 9I topological relations (e.g., overlap) to OCL operators specifies topological IC Example “A building is disjoint from a Road”: context Building inv: Road.allInstances()->forAll(R|R.geometry->Disjoint self.geometry)) Is it really a Hybrid Natural Language ?

Comparing Spatial ICSL Why comparing spatial ICSL? We are not aiming at finding “the best” spatial ICSL (if such a thing is possible!). We are revisiting our past practices (i.e. is Hybrid natural language still the best ICSL for the natural level?) Our goal is to summarize the potential avenues for developing ICSLs for spatio- temporal databases AND spatial datacubes. Comparison Criteria 1. Expressiveness: Semantic quality: Correspondence between ICs’ meaning and concepts supported by a spatial ICSL Syntactic quality: Degree to which the rules of spatial ICSL govern the structure of expressions Richness: Capability to express the needed elements of SIC Inherence: Precision of an ICSL to be straight to the point and focuses on the essential aspects of SIC 2. Pragmatics: Usability of the spatial ICSL by database end-users Facility to translate spatial IC into technical languages In our context the former pragmatic quality has priority over the latter.

Comparing Spatial ICSL Three values “Good”, “Medium”, and “Weak” are used to rank the languages. The values represent our opinion from a literature study and 20 years of experience in spatial database modeling and development. ?? « Natural » is the way to go for the conceptual level

Conclusions Spatial IC convey important semantic information of applications They must be first defined at the conceptual level for database end-users We presented a classification of spatial ICSL at the conceptual level: According to our opinion “controlled natural languages” and “natural hybrid languages with pictograms” are good candidates

On-Going and Future Work We are currently working on a classification of IC in spatio- temporal database applications This classification provides the basic constructs to build an ICSL for spatio-temporal databases and spatial datacubes We will build an ICSL for spatial datacubes based on: The results of the classification of ICs Spatial datacubes vocabulary (e.g., Dimension and Measure) The candidate languages resulted from the current research work