Decision problems of object histories

DOI10.1016/0890-5401(89)90060-6MaRDI QIDQ582039zbMATH OpenOpenAlexFDO

Authors Yongkyun Cho, Seymour Ginsburg

Publication date 1989

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(89)90060-6

zbMATH Keywords

decision problemscomputation-tuple sequence scheme

Mathematics Subject Classification ID

Data structures (68P05) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Object histories which avoid certain subsequences
• Localizable constraints for object histories
• Projection of object histories
• On the Computational Power of Querying the History
• Computation-tuple sequences and object histories

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3586480 (Why is no real title available?)
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 3293666 (Why is no real title available?)
• Cohesion of object histories
• Computation-tuple sequences and object histories
• Formal Systems for Tuple and Equality Generating Dependencies
• Localizable constraints for object histories
• Object histories which avoid certain subsequences
• Order dependency in the relational model
• Projection of object histories

Cited in

(7)

• Object histories which avoid certain subsequences
• Localizable constraints for object histories
• Input-dependent-only object histories
• Content-related interval queries on object histories
• Projection of object histories
• Computation-tuple sequences and object histories
• Cohesion of object histories

This page was built for publication: Decision problems of object histories

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