Any Algorithm in the Complex Object Algebra withPowerset Needs Exponential Space to ComputeTransitive
نویسندگان
چکیده
The Abiteboul and Beeri algebra for complex objects can express a query whose meaning is transitive closure, but the algorithm naturally associated to this query needs exponential space. We show that any other query in the algebra which expresses transitive closure needs exponential space. This proves that in general the powerset is an intractable operator for implementing xpoint queries.
منابع مشابه
The Complexity of the Evaluation of Complex Algebra Expressions
The Abiteboul and Beeri algebra for complex objects can express a query whose meaning is transitive closure, but the algorithm naturally associated to this query needs exponential space. We show that any other query in the algebra which expresses transitive closure needs exponential space, under a \call by value" evaluation strategy. This proves that in general the powerset is an intractable op...
متن کاملNonexpansive mappings on complex C*-algebras and their fixed points
A normed space $mathfrak{X}$ is said to have the fixed point property, if for each nonexpansive mapping $T : E longrightarrow E $ on a nonempty bounded closed convex subset $ E $ of $ mathfrak{X} $ has a fixed point. In this paper, we first show that if $ X $ is a locally compact Hausdorff space then the following are equivalent: (i) $X$ is infinite set, (ii) $C_0(X)$ is infinite dimensional, (...
متن کاملStone-Weierstrass type theorems for large deviations
We give a general version of Bryc’s theorem valid on any topological space and with any algebra A of real-valued continuous functions separating the points, or any wellseparating class. In absence of exponential tightness, and when the underlying space is locally compact regular and A constituted by functions vanishing at infinity, we give a sufficient condition on the functional Λ(·)|A to get ...
متن کاملInvestigating the status of people with special needs access to urban space and effect on voluntary activity in Mashhad-Iran Case study: Educational-Charity Complex Rehabilitation
The creation of urban space so that all segments of society can benefit from its facilities, provides opportunities for community participation and social activity and prevents their social isolation. In this study, we investigate the status of people with special needs access of urban space and its impact on volunteer activity in Mashhad. The approach of the present study is qualitative-quant...
متن کاملFisher Discriminant Analysis (FDA), a supervised feature reduction method in seismic object detection
Automatic processes on seismic data using pattern recognition is one of the interesting fields in geophysical data interpretation. One part is the seismic object detection using different supervised classification methods that finally has an output as a probability cube. Object detection process starts with generating a pickset of two classes labeled as object and non-object and then selecting ...
متن کامل