IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES IS UNDECIDABLE.
- A.K. Chandra
- Moshe Y. Vardi
- 1985
- SIAM Journal on Computing
Publications
Date
Featured collections
Popular topics
39 results for Ashok K. Chandra
Unbounded fan-in circuits and associative functions
- Ashok K. Chandra
- Steven Fortune
- et al.
- 1985
- Journal of Computer and System Sciences
CONSTANT DEPTH REDUCIBILITY.
- A.K. Chandra
- Larry Stockmeyer
- et al.
- 1984
- SIAM Journal on Computing
On sets of Boolean n-vectors with all k-projections surjective
- Ashok K. Chandra
- Lawrence T. Kou
- et al.
- 1983
- Acta Informatica
Horn clauses and the fixpoint query hierarchy
- Ashok K. Chandra
- David Harel
- 1982
- SIGMOD/PODS 1982
Structure and complexity of relational queries
- Ashok Chandra
- David Harel
- 1982
- Journal of Computer and System Sciences
Equations between regular terms and an application to process logic
- Ashok Chandra
- Joe Halpern
- et al.
- 1981
- STOC 1981
Embedded implicational dependencies and their inference problem
- Ashok K. Chandra
- Harry R. Lewis
- et al.
- 1981
- STOC 1981
Programming primitives for database languages
- Ashok K. Chandra
- 1981
- POPL 1981
Register allocation via coloring
- Gregory J. Chaitin
- Marc A. Auslander
- et al.
- 1981
- Computer Languages