Search results
From MaRDI portal
- streams violating rules 2016-01-04 Paper Expressing quantification in relational calculus by participation constraints 1993-06-29 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 03:48, 13 December 2023
- nested relational calculus 2007-03-12 Paper Database Theory - ICDT 2005 2005-09-13 Paper On the complexity of deciding typability in the relational algebra...10 bytes (16 words) - 16:12, 6 October 2023
- Publication Date of Publication Type An interval-based temporal relational calculus for events with gaps 1992-06-26 Paper...10 bytes (18 words) - 20:13, 26 December 2023
- Publication Date of Publication Type Relational calculus for actionable knowledge 2022-02-07 Paper...10 bytes (17 words) - 23:16, 24 September 2023
- morphological operations based on implications 2009-12-07 Paper Fuzzy Relational Calculus and Its Application to Image Processing 2009-07-02 Paper https://portal...10 bytes (17 words) - 19:52, 11 December 2023
- mardi4nfdi.de/entity/Q4737584 2004-08-11 Paper An interval-based temporal relational calculus for events with gaps 1992-06-26 Paper A Jacobian criterion for smoothness...10 bytes (18 words) - 10:37, 13 December 2023
- of relational languages and solutions to the implied constraint problem 1982-01-01 Paper Equivalence of Relational Algebra and Relational Calculus Query...10 bytes (18 words) - 12:21, 14 March 2024
- semigroup of a ring 2001-06-13 Paper Expressing quantification in relational calculus by participation constraints 1993-06-29 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 16:28, 8 December 2023
- Paper The dichotomous intensional expressive power of the nested relational calculus with powerset 2018-10-18 Paper Big data and a bewildered lay analyst...10 bytes (17 words) - 22:08, 11 December 2023
- Publication Date of Publication Type Efficient Evaluation of Arbitrary Relational Calculus Queries 2024-01-16 Paper VeriMon: a formally verified monitoring tool...10 bytes (16 words) - 23:41, 24 September 2023
- relationalen Kalkül zur Algebraisierung projektiver Ebenen. (About a relational calculus for algebraization of projective planes) 1991-01-01 Paper Affine Relative...10 bytes (19 words) - 00:56, 13 December 2023
- Paper A relational calculus for program construction by parts 1996-07-03 Paper Relation-based semantics for concurrency 1995-11-14 Paper A relational division...10 bytes (17 words) - 18:40, 9 December 2023
- Publication Date of Publication Type Efficient Evaluation of Arbitrary Relational Calculus Queries 2024-01-16 Paper Real-time policy enforcement with metric...10 bytes (16 words) - 22:21, 24 September 2023
- relation algebra 1997-02-28 Paper A relational calculus for program construction by parts 1996-07-03 Paper A relational division operator: The conjugate kernel...10 bytes (16 words) - 20:22, 11 December 2023
- Publication Date of Publication Type Relational calculus for actionable knowledge 2022-02-07 Paper Possibility Theory for the Design of Information Fusion...10 bytes (17 words) - 12:53, 28 January 2024
- and set joins in the relational algebra 2007-05-23 Paper Well-definedness and semantic type-checking for the nested relational calculus 2007-03-12 Paper Foundations...10 bytes (20 words) - 23:15, 9 December 2023
- Paper Well-definedness and semantic type-checking for the nested relational calculus 2007-03-12 Paper An inequality for mixed L^p-norms 2006-02-08 Paper...10 bytes (18 words) - 01:52, 9 December 2023
- semantic data models 1994-10-04 Paper Expressing quantification in relational calculus by participation constraints 1993-06-29 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 17:07, 6 October 2023
- Paper A calculus of program adaption and its applications 2000-09-14 Paper Unifying program construction and modification 1998-04-02 Paper A relational calculus...10 bytes (16 words) - 09:01, 6 October 2023
- Fuzzy region connection calculus: representing vague topological information 2010-03-19 Paper Fuzzy region connection calculus: An interpretation based...10 bytes (18 words) - 12:49, 8 December 2023