On the feasibility of checking temporal integrity constraints
type: Item
instance of: scholarly article
title: On the feasibility of checking temporal integrity constraints
zbMATH Open document ID: 0839.68094
author: Jan Chomicki
author: Damian Niwiński
published in: Journal of Computer and System Sciences
publication date: 1996-06-10T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 847825
zbMATH Keywords: computational feasibility
zbMATH Keywords: temporal integrity constraints
zbMATH Keywords: temporal logic
MaRDI profile type: Publication
OpenAlex ID: W2033709993
DOI: 10.1006/JCSS.1995.1088
description: scientific article; zbMATH DE number 847825