×

Found 232 Documents (Results 1–100)

Approximate relational Hoare logic for continuous random samplings. (English) Zbl 1401.68206

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Review of similarities between adjacency model and relational model. (English) Zbl 1370.68071

Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Proceedings of the 3rd international conference on modelling, computation and optimization in information systems and management sciences, MCO 2015, Lorraine, France, May 11–13, 2015. Part II. Cham: Springer (ISBN 978-3-319-18166-0/pbk; 978-3-319-18167-7/ebook). Advances in Intelligent Systems and Computing 360, 69-79 (2015).
MSC:  68P15 05C90 68-02
PDFBibTeX XMLCite
Full Text: DOI

Tabular, a schema-driven probabilistic programming language. (English) Zbl 1284.68103

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 321-334 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Formal translation from fuzzy XML to fuzzy nested relational database schema. (English) Zbl 1202.68154

Ma, Zongmin (ed.) et al., Soft computing in XML data management. Intelligent systems from decision making to data mining, web intelligence and computer vision. Berlin: Springer (ISBN 978-3-642-14009-9/hbk; 978-3-642-14010-5/ebook). Studies in Fuzziness and Soft Computing 255, 35-54 (2010).
MSC:  68P15 68P05
PDFBibTeX XMLCite
Full Text: DOI

Tuple relational calculus for paraconsistent databases. (English) Zbl 1043.68550

Monard, Maria Carolina (ed.) et al., Advances in artificial intelligence. International joint conference, 7th Ibero-American conference on AI, 15th Brazilian symposium on AI, IBERAMIA-SBIA 2000. Atibaia, SP, Brazil, November 19–22, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41276-X). Lect. Notes Comput. Sci. 1952, 409-416 (2000).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: Link

Query completeness, distinguishability and relational machines. (English) Zbl 0930.03033

Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 135-163 (1999).
MSC:  03C13 68P15 03D10
PDFBibTeX XMLCite

A query system for object-relational databases. Repr. from Australian Computer Science Communications 20, No. 2. (English) Zbl 0933.68041

McDonald, Chris (ed.), Database systems. Proceedings of the 9th Australasian database conference, ADC’98. Perth, Australia, February 2–3, 1998. Singapore: Springer. 39-50 (1998).
MSC:  68P15
PDFBibTeX XMLCite

Relational interpretations of recursive types in an operational setting. (English) Zbl 0888.03016

Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 458-490 (1997).
Reviewer: G.Grigoras (Iaşi)
PDFBibTeX XMLCite

Relational specifications. (English) Zbl 0791.68104

Rauszer, Cecylia (ed.), Algebraic methods in logic and in computer science. Papers of the XXXVIII semester on algebraic methods in logic and their computer science applications held in Warsaw (Poland) between September 15 and December 15, 1991. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 28, 167-190 (1993).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software