The structure of the relational database model
The structure of the relational database model
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Action semantics
Control flow semantics
Theories of programming languages
Theories of programming languages
Proceedings of the 10th international conference on World Wide Web
Foundations of computational linguistics: human-computer communication in natural language
Foundations of computational linguistics: human-computer communication in natural language
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
A Generalization of Dijkstra's Calculus to Typed Program Specifications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Proceedings of the 2nd international conference on Semantics in databases
Consistency enforcement in databases
Proceedings of the 2nd international conference on Semantics in databases
Towards a theory of genericity based on government and binding
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Towards a Theory of Conceptual Modelling
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Future Directions of Knowledge Systems Environments for Web 3.0
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
The science and art of conceptual modelling
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI
Hi-index | 0.00 |
Semantics is the study of meaning, i.e. how meaning is constructed, interpreted, clarified, obscured, illustrated, simplified, negotiated, contradicted and paraphrased [Wan87]. It has been treated differently in the scientific community, e.g., in the area of knowledge bases and by database users.The scientific community prefers the treatment of `always valid' semantics based on the mathematical logic. A constraint is valid if this is the case in any correct database.Database modellers often use a `strong' semantics for several classes of constraints. Cardinality constraints are based on the requirement that databases exist for both cases, for the minimal and for the maximal case.Database mining is based on a `may be valid' semantics. A constraint is considered to be a candidate for a valid formula.Users usually use a weak `in most cases valid' semantics. They consider a constraint to be valid if this is the usual case.Different groups of users use an `epistemic' semantics. For each of the group its set of constraints is valid in their data. Different sets of constraints can even contradict.Semantics is currently one of the most overused notions in modern computer science literature. Its understanding spans from synonyms for structuring or synonyms for structuring on the basis of words to precise defined semantics. This partial misuse results in a mismatch of languages, in neglecting formal foundations, and in brute-force definitions of the meaning of syntactic constructions.