JavaScript is disabled for your browser. Some features of this site may not work without it.
Functional Schemas with Nested Predicates
dc.contributor.author | Galil, Zvi | en_US |
dc.date.accessioned | 2007-04-19T19:07:05Z | |
dc.date.available | 2007-04-19T19:07:05Z | |
dc.date.issued | 1973-12 | en_US |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR73-189 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/6032 | |
dc.description.abstract | A class of (monadic) functional schemas with nested predicates is defined. It is shown that termination, divergence and freedom problems for these schemas are decidable. It is proved that when the schemas are more general the freedom problem is undecidable. A procedure is given for deleting the identity function from the schema's definition at the cost of increasing $k$ by 1 when $k$ is the maximum depth of nesting. Part of our results extend results of [1] about schemas without nesting. Our algorithm for checking freedom is not a natural extension of theirs. Furthermore, using our algorithm for schemas without nesting yields a much more efficient way of deciding freedom than the algorithm suggested in [1]. Keywords and Phrases: monadic functional schemas, nested predicates, decision problems, equivalence, freedom, polynomial time, DPDA. | en_US |
dc.format.extent | 1271708 bytes | |
dc.format.extent | 386171 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/postscript | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer science | en_US |
dc.subject | technical report | en_US |
dc.title | Functional Schemas with Nested Predicates | en_US |
dc.type | technical report | en_US |