Topic
Base (topology)
About: Base (topology) is a research topic. Over the lifetime, 8270 publications have been published within this topic receiving 66170 citations. The topic is also known as: topological basis & topological base.
Papers published on a yearly basis
Papers
More filters
01 Oct 1987
TL;DR: This paper shows that closed world evaluation of an arbitrary query may be reduced to open world evaluated of so-called atomic queries, and shows that the closed world assumption can lead to inconsistencies, but for Horn data bases no such inconsistencies can arise.
Abstract: Deductive question-answering system generally evaluate queries under one of two possible assumptions which we in this paper refer to as the open and closed world assumptions. The open world assumption corresponds to the usual first order approach to query evaluation: Given a data base DB and a query Q, the only answers to Q are those which obtain from proofs of Q given DB as hypotheses. Under the closed world assumption, certain answers are admitted as a result of failure to find a proof. More specifically, if no proof of a positive ground literal exists, then the negation of that literal is assumed true. In this paper, we show that closed world evaluation of an arbitrary query may be reduced to open world evaluation of so-called atomic queries. We then show that the closed world assumption can lead to inconsistencies, but for Horn data bases no such inconsistencies can arise. Presented at the Workshop on Logic and Data Bases, Toulouse, France, November 16-18, 1977.
1,106 citations
TL;DR: Discussed is a high-level data base management language that provides the user with a convenient and unified interface to query, update, define, and control a data base.
Abstract: Discussed is a high-level data base management language that provides the user with a convenient and unified interface to query, update, define, and control a data base.
When the user performs an operation against the data base, he fills in an example of a solution to that operation in skeleton tables that can be associated with actual tables in the data base. The system is currently being used experimentally for various applications.
935 citations
01 Jan 2016
TL;DR: Thank you for downloading a secure base clinical applications of attachment theory, which will help people to enjoy a good book with a cup of tea in the afternoon instead of juggled with some malicious virus inside their computer.
Abstract: Thank you for downloading a secure base clinical applications of attachment theory. As you may know, people have look hundreds times for their favorite readings like this a secure base clinical applications of attachment theory, but end up in malicious downloads. Rather than enjoying a good book with a cup of tea in the afternoon, instead they juggled with some malicious virus inside their computer.
831 citations
Journal Article•
824 citations
Book•
17 Jul 2003
TL;DR: A1 Regular and Cartesian Closed Categories A2 Toposes - Basic Theory A3 Allegories A4 Geometric Morphisms - Basic theory B1 Fibrations and Indexed Categories B2 Internal and Locally Internal Categories B3 Toposes over a base B4 BTop/S as a 2-category as mentioned in this paper.
Abstract: A1 Regular and Cartesian Closed Categories A2 Toposes - Basic Theory A3 Allegories A4 Geometric Morphisms - Basic Theory B1 Fibrations and Indexed Categories B2 Internal and Locally Internal Categories B3 Toposes over a base B4 BTop/S as a 2-Category
788 citations