Bounded Hyperset Theory and Web-like Data Bases

@inproceedings{Lisitsa1997BoundedHT,
  title={Bounded Hyperset Theory and Web-like Data Bases},
  author={Alexei Lisitsa and Vladimir Yu. Sazonov},
  booktitle={Kurt G{\"o}del Colloquium},
  year={1997}
}
It is demonstrated how a Hyperset Theory (satisfying P.Aczel's Anti-Foundation Axiom) naturally arises from the idea of World-Wide Web (WWW). Alternatively, Web serves as an illustration and possible application of the abstract notion of antifounded sets. A -language of Bounded Hyperset Theory is presented as a query language to the Web or, more generally, to Web-like Data Bases (WDB). It is shown that it describes exactly all abstract (or generic, up to bisimulation) PTIME-computable queries… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS
14 Citations
53 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 53 references

Vicious Circles: on the mathematics of circular phenomena

  • J. Barwise, L. Moss
  • CSLI Lecture Notes,
  • 1996
Highly Influential
16 Excerpts

Hereditarily- nite sets, data bases and polynomial-time computability

  • Sazonov, V.Yu
  • Theoretical Computer Science,
  • 1993
Highly Influential
9 Excerpts

On Bounded Set Theory (10th International Congress on Logic, Method- ology and Philosophy of Sciences, Florence, 1995), M.L.Dalla Chiara et al. (eds.), Logic and Scienti c Methods

  • Sazonov, V.Yu
  • 1997
Highly Influential
8 Excerpts

A bounded set theory with anti-foundation axiom and inductive de n- ability. Computer Science Logic, 8th Workshop, CSL'94 Kazimierz

  • Sazonov, V.Yu
  • Selected Papers. Lecture Notes in Computer…
  • 1994
Highly Influential
8 Excerpts

Languages of polynomial queries

  • A. B. Livchak
  • Raschet i optimizacija teplotehnicheskih ob…
  • 1997

Similar Papers

Loading similar papers…