Handling infinite temporal data

DOI10.1006/JCSS.1995.1049MaRDI QIDQ1900914zbMATH OpenOpenAlexFDO

Authors J.-M. Stévenne, Pierre Wolper, Froduald Kabanza

Publication date 25 October 1995

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jcss.1995.1049

zbMATH Keywords

Presburger arithmeticrelational databases

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• A temporal relational model and a query language
• Temporal databases: From theory to applications
• scientific article; zbMATH DE number 1536573
• A logical reconstruction of temporal databases
• A homogeneous relational model and query languages for temporal databases

Cited in

(11)

• Programming in metric temporal logic
• Metafinite model theory
• Counting the solutions of Presburger equations without enumerating them.
• Solving multi-granularity temporal constraint networks
• Constraint-generating dependencies
• Cost-based temporal reasoning
• A representation independent language for planar spatial databases with Euclidean distance
• Bottom-up evaluation of Datalog programs with arithmetic constraints
• Metafinite model theory
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• A mathematical framework for the semantics of symbolic languages representing periodic time

This page was built for publication: Handling infinite temporal data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1900914)