Results 1 to 10 of about 1,622,308 (337)
On a theory of probabilistic deductive databases [PDF]
Theory and Practice of Logic Programming, 2001 We propose a framework for modeling uncertainty where both belief and doubt can be given independent, first-class status. We adopt probability theory as the mathematical formalism for manipulating uncertainty. An agent can express the uncertainty in her knowledge about a piece of information in the form of a confidence level, consisting of a pair of ...
Laks V. S. Lakshmanan, Fereidoon Sadri
openalex +5 more sources
An optimality theory of concurrency control for databases [PDF]
Acta Informatica, 1979 A concurrency control mechanism (or a scheduler) is the component of a database system that safeguards the consistency of the database in the presence of interleaved accesses and update requests. We formally show that the performance of a scheduler, i.e., the amount of parallelism that it supports, depends explicitly upon the amount of information that
H. T. Kung, Christos H. Papadimitriou
+6 more sources
A systematic approach to relational database theory [PDF]
Proceedings of the 1982 ACM SIGMOD international conference on Management of data - SIGMOD '82, 1982 In an attempt to eliminate motivational inconsistencies, we propose a new approach to relational database theory. Basically, a database schema is treated as a relational view defined over certain atomic, selfexplainable relations, constituting what we call a conceptual schema.
Tomasz Imieliński, Witold Lipski
openalex +4 more sources
ACM SIGACT News, 1990 Complex object databases have been proposed as a significant extension of relational databases, with many practical applications. In the second database theory column, we present languages for the manipulation of such databases: a many-sorted algebra and an equivalent calculus.
Serge Abiteboul, Paris C. Kanellakis
openalex +4 more sources
Equational theories and database constraints [PDF]
Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85, 1985 We present a novel way to formulate database dependencies as sentences of first-order logic, using equational statements instead of Horn clauses. Dependency implication is directly reduced to equational implication. Our approach is powerful enough to express functional and inclusion dependencies, which are the most common database constraints.
Stavros S. Cosmadakis +1 more
openalex +4 more sources
Making Medical Education Courses Visible: Theory-Based Development of a National Database
JMIR Medical EducationBackgroundMedical education has undergone professionalization during the last decades, and internationally, educators are trained in specific medical education courses also known as “train the trainer” courses. As these courses have developed organically
Andi Gashi +2 more
doaj +2 more sources
Proceedings of the 1983 ACM SIGMOD international conference on Management of data - SIGMOD '83, 1983 Philip A. Bernstein
openalex +3 more sources
Ethnography of NEET’s life style in Tehran [PDF]
Taḥqīqāt-i Farhangī-i Īrān, 2022 NEETs as those who neither study nor have a job or profession, have been the topic in statistical and social discussions of countries in recent years, in which, Iran's contribution to this concept is close to zero.
A. Naderi
doaj +1 more source
Conceptualization of the Social banking Model in Sepeh Bank Ecosystem: A Grounded theory with Constructivism Approach [PDF]
پژوهشهای مدیریت عمومی, 2023 Extended Abstract Abstract The purpose of the research is to conceptualize social banking in the Sepeh Bank ecosystem using the qualitative method of the grounded theory of charms constructivism.
Saeed Houshyar +2 more
doaj +1 more source