Temporal inferencing on administrative databases

摘要

Temporal inferencing is basic to business data processing, e.g. in such concepts as income, wealth, exchange, budgeting and contractual commitment. Time appears in numerous forms within the information system, however, in data items of varying syntax; or implicitly, in the current state of the database. Here, a uniform concept of time based on temporal intervals over a continuous calendar scale is suggested for administrative applications. Temporal operators and related axioms are proposed for logical databases.