NDLI: Interval-based temporal functional dependencies: specification and verification

Content Provider	Springer Nature Link
Author	Sala, Pietro Combi, Carlo
Copyright Year	2013
Abstract	In the temporal database literature, every fact stored in a database may be equipped with two temporal dimensions: the valid time, which describes the time when the fact is true in the modeled reality, and the transaction time, which describes the time when the fact is current in the database and can be retrieved. Temporal functional dependencies (TFDs) add valid time to classical functional dependencies (FDs) in order to express database integrity constraints over the flow of time. Currently, proposals dealing with TFDs adopt a point-based approach, where tuples hold at specific time points, to express integrity constraints such as “for each month, the salary of an employee depends only on his role”. To the best of our knowledge, there are no proposals dealing with interval-based temporal functional dependencies (ITFDs), where the associated valid time is represented by an interval and there is the need of representing both point-based and interval-based data dependencies. In this paper, we propose ITFDs based on Allen’s interval relations and discuss their expressive power with respect to other TFDs proposed in the literature: ITFDs allow us to express interval-based data dependencies, which cannot be expressed through the existing point-based TFDs. ITFDs allow one to express constraints such as “employees starting to work the same day with the same role get the same salary” or “employees with a given role working on a project cannot start to work with the same role on another project that will end before the first one”. Furthermore, we propose new algorithms based on B-trees to efficiently verify the satisfaction of ITFDs in a temporal database. These algorithms guarantee that, starting from a relation satisfying a set of ITFDs, the updated relation still satisfies the given ITFDs.
Ending Page	130
Page Count	46
Starting Page	85
File Format	PDF
ISSN	10122443
e-ISSN	15737470
Journal	Annals of Mathematics and Artificial Intelligence
Issue Number	1-3
Volume Number	71
Language	English
Publisher	Springer International Publishing
Publisher Date	2013-11-14
Publisher Place	Cham
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	B-trees Computer Science Temporal databases Allen’s relations Artificial Intelligence (incl. Robotics) Mathematics Statistical Physics, Dynamical Systems and Complexity Database theory Compass structures Temporal functional dependencies Interval-based functional dependencies
Content Type	Text
Resource Type	Article
Subject	Applied Mathematics Artificial Intelligence

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Functional dependencies on extended relations defined by regular languages

Characterizing functional dependencies in formal concept analysis with pattern structures

Appropriate inferences of data dependencies in relational databases

RGITL: A temporal logic framework for compositional reasoning about interleaved programs

Guest editors’ preface to special issue on interval temporal logics

Functional dependencies are helpful for partial materialization of data cubes

Disjunctive databases for representing repairs

A practical approach to model checking Duration Calculus using Presburger Arithmetic

Functional and multivalued dependencies in nested databases generated by record and list constructor

Interval-based temporal functional dependencies: specification and verification

Similar Documents

Functional dependencies on extended relations defined by regular languages

Characterizing functional dependencies in formal concept analysis with pattern structures

Appropriate inferences of data dependencies in relational databases

RGITL: A temporal logic framework for compositional reasoning about interleaved programs

Guest editors’ preface to special issue on interval temporal logics

Functional dependencies are helpful for partial materialization of data cubes

Disjunctive databases for representing repairs

A practical approach to model checking Duration Calculus using Presburger Arithmetic

Functional and multivalued dependencies in nested databases generated by record and list constructor

Interval-based temporal functional dependencies: specification and verification