On Safety of Unary and Nonunary IFP Operators

— The article investigates the safety of unary inflationary fixed point operators (IFP-operators), i.e., their computability in finitely many steps. Such operators correspond exactly to recursive SQL queries. Therefore, the problem under investigation is directly related to database theory. The prob...

Full description

Bibliographic Details

Published in:	Automatic control and computer sciences Vol. 53; no. 7; pp. 683 - 688
Main Author:	Dudakov, S. M.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Subjects:	Computer Science Control Structures and Microprogramming Fixed points (mathematics) Investigations Operators Queries Query languages Safety Turing machines Universe arity inflationary fixed point safety
ISSN:	0146-4116, 1558-108X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!