Zufällige Folgen und Bi-immunität. - Joachim Biskup (Automatentheorie und Formale Sprachen, 1973)

Über Projektionsmengen von Komplexitätsmaßen. - Joachim Biskup (J. Inf. Process. Cybern., 1977)

On BI-Immune Isols. - Joachim Biskup (Math. Log. Q., 1977)

Path Measures of Turing Machine Computations (Preliminary Report). - Joachim Biskup (ICALP, 1978)

On the Complementation Rule for Multivalued Dependencies in Database Relations. - Joachim Biskup (Acta Informatica, 1978)

The Time Measure of One-Tape Turing Machines Does Not Have the Parallel Computation Property. - Joachim Biskup (SIAM J. Comput., 1978)

A Formal Approach to Null Values in Database Relations. - Joachim Biskup (Advances in Data Base Theory, 1979)

Synthesizing Independent Database Schemas. - Joachim Biskup; Umeshwar Dayal; Philip A. Bernstein (SIGMOD Conference, 1979)

Inferences of Multivalued Dependencies in Fixed and Undetermined Universes. - Joachim Biskup (Theor. Comput. Sci., 1980)

Towards Designing Acyclic Database Schemes. - Joachim Biskup; Hans Hermann Brüggemann (Advances in Data Base Theory, 1982)

Universal Relation Views: A Pragmatic Approach. - Joachim Biskup; Hans Hermann Brüggemann (VLDB, 1983)

A Foundation of Codd's Relational Maybe-Operations. - Joachim Biskup (ACM Trans. Database Syst., 1983)

Extending the Relational Algebra for Relations with Maybe Tuples and Existential and Universal Null Values. - Joachim Biskup (Fundam. Inform., 1984)

Some Variants of the Take-Grant Protection Model. - Joachim Biskup (Inf. Process. Lett., 1984)

One Flavor Assumption and Gamma-Acyclicity for Universal Relation Views. - Joachim Biskup; Hans Hermann Brüggemann; L. Schnetgöke; M. Kramer (PODS, 1986)

A Formal View Integration Method. - Joachim Biskup; Bernhard Convent (SIGMOD Conference, 1986)

Privacy Respecting Permissions and Rights. - Joachim Biskup (DBSec, 1987)

Data Manipulation Languages for the Universal Relation View DURST. - Joachim Biskup; Hans Hermann Brüggemann (MFDBS, 1987)

The Equivalence Problem For Relational Database Schemes. - Joachim Biskup; Uwe Räsch (MFDBS, 1987)

Design of Relational Database Schemes by Deleting Attributes in the Canonical Decomposition. - Joachim Biskup; Renate Meyer (J. Comput. Syst. Sci., 1987)

Analysis of the Privacy Model for the Information System DORIS. - Joachim Biskup; Hans-Werner Graf (DBSec, 1988)

Transitive Closure Algorithms for Very Large Databases. - Joachim Biskup; Holger Stiefeling (WG, 1988)

The personal model of data: Towards a privacy-oriented information system. - Joachim Biskup; Hans Hermann Brüggemann (Comput. Secur., 1988)

Protection of Privacy and Confidentiality in Medical Information Systems: Problems and Guidelines. - Joachim Biskup (DBSec, 1989)

An Object-Surrogate-Value Approach for Database Languages. - Joachim Biskup; Hans Hermann Brüggemann (FMLDO, 1989)

The Personal Model of Data - Towards a Privacy Oriented Information System (Extended Abstract). - Joachim Biskup; Hans Hermann Brüggemann (ICDE, 1989)

Towards a Schema Design Methodology for Deductive Databases. - Joachim Biskup; Bernhard Convent (MFDBS, 1989)

Verantwortung des Hochschullehrers für Informatik - Zur Diskussion gestellt. - Joachim Biskup (Inform. Spektrum, 1989)

Boyce-Codd Normal Form and Object Normal Forms. - Joachim Biskup (Inf. Process. Lett., 1989)

A General Framework for Database Security (Abstract). - Joachim Biskup (DBSec, 1990)

Medical Database Security. - Joachim Biskup (GI Jahrestagung (2), 1990)

A General Framework for Database Security. - Joachim Biskup (Grundlagen von Datenbanken, 1990)

Optimizatioin of a Subclass of Conjunctive Queries. - Pratul Dublish; Joachim Biskup; Yehoshua Sagiv (ICDT, 1990)

An Extension of SQL for Querying Graph Relations. - Joachim Biskup; Uwe Räsch; Holger Stiefeling (Comput. Lang., 1990)

Sicherheit: Gewährleistung und Begrenzung des Informationsflusses. - Joachim Biskup (Entwicklungstendenzen bei Datenbanksystemen, 1991)

Sicherheit in Informationssystemen - Gewährleistung und Begrenzung des Informationsflusses. - Joachim Biskup (VIS, 1991)

Das datenschutzorientierte Informationssystem DORIS: Stand der Entwicklung und Ausblick. - Joachim Biskup; Hans Hermann Brüggemann (VIS, 1991)

On Relational Database Schemes Having Unique Minimal Key. - Joachim Biskup; János Demetrovics; Leonid Libkin; Ilya B. Muchnik (J. Inf. Process. Cybern., 1991)

Relationship chase procedures interpreted as resolution with paramodulation. - Joachim Biskup (Fundam. Informaticae, 1991)

About the Enforcement of State Dependent Specifications. - Joachim Biskup; Christian Eckert (DBSec, 1993)

Evaluation of Upper Bounds and Least Nodes as Database Operations. - Joachim Biskup; Holger Stiefeling (FODO, 1993)

Über die Durchsetzung von zustandsabhängigen Sicherheitsspezifikationen. - Joachim Biskup; Christian Eckert (Grundlagen von Datenbanken, 1993)

Magic-Sets: Globalisieren von Variablen und Rekursionselimination. - Joachim Biskup; Torsten Polle (Grundlagen von Datenbanken, 1993)

Sicherheit von IT-Systemen als "sogar wenn - sonst nichts - Eigenschaft". - Joachim Biskup (VIS, 1993)

Sichere Delegation in Informationssystemen. - Joachim Biskup; Christian Eckert (VIS, 1993)

Objects in Relational Database Schemes with Functional Inclusion, and Exclusion Dependencies. - Joachim Biskup; Pratul Dublish (RAIRO Theor. Informatics Appl., 1993)

Enforcement of State Dependent Security Specifications. - Joachim Biskup; Christian Eckert (DBSec, 1994)

Perspectives on Database Security - Panel Summary. - Matthew Morgenstern; Joachim Biskup; Klaus R. Dittrich; Carl E. Landwehr; Marvin Schaefer (DBSec, 1994)

Ein Mechanismus zur Durchsetzung von Sicherheitsspezifikationen. - Joachim Biskup; Christian Eckert (Grundlagen von Datenbanken, 1994)

Schematransformation für F-Logik. - Joachim Biskup; Ralf Menzel; Torsten Polle (Grundlagen von Datenbanken, 1994)

Transformation von Entity-Relationship-Schemata in objektorientierte Datenbankschemata. - Joachim Biskup; Ralf Menzel; Torsten Polle (Grundlagen von Datenbanken, 1994)

Impacts of Creating, Implementing and Using Formal Languages. - Joachim Biskup (IFIP Congress (3), 1994)

Reflections on Security of Database and Datatransfer Systems in Health Care. - Joachim Biskup; Gerrit Bleumer (IFIP Congress (2), 1994)

Grundlagen von Informationssystemen - Joachim Biskup (Vieweg, 1995)

Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas. - Joachim Biskup; Ralf Menzel; Torsten Polle (ADBIS, 1995)

Database Schema Design Theory : Achievements and Challenges. - Joachim Biskup (CISMOD, 1995)

Achievements of Relational Database Schema Design Theory Revisited. - Joachim Biskup (Semantics in Databases, 1995)

Optimization of a Subclass of Conjunctive Queries. - Joachim Biskup; Pratul Dublish; Yehoshua Sagiv (Acta Informatica, 1995)

Decomposition of Relationships through Pivoting. - Joachim Biskup; Ralf Menzel; Torsten Polle; Yehoshua Sagiv (ER, 1996)

A New Approach to Inferences of Semantic Constraints. - Joachim Biskup; Andreas Kluck (ADBIS, 1997)

Query Evaluation in an Object-Oriented Multimedia Mediator. - Joachim Biskup; Jürgen Freitag; Yücel Karabulut; Barbara Sprick (OOIS, 1997)

Technical Enforcement of Informational Assurances. - Joachim Biskup (DBSec, 1998)

Secure Mediation: Requirements and Design. - Joachim Biskup; Ulrich Flegel; Yücel Karabulut (DBSec, 1998)

An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents. - Alois C. Knoll; Christian Altenschmidt; Joachim Biskup; Hans-Martin Blüthgen; Ingo Glöckner; Sven Hartrumpf; Hermann Helbig; Christiane Henning; Reinhard Lüling; Burkhard Monien; Thomas Noll 001; Norbert Sensen (ECDL, 1998)

Weakly Constraining Multimedia Types Based on a Type Embedding Ordering. - Christian Altenschmidt; Joachim Biskup; Jürgen Freitag; Barbara Sprick (Multimedia Information Systems, 1998)

Selbstbestimmte technische Durchsetzung informationeller Zusicherungen. - Joachim Biskup (Angewandte Mathematik, insbesondere Informatik, 1999)

Ein Kostenmodell für abstrakte objektorientierte Datenbankschemas. - Joachim Biskup; Ralf Menzel; Torsten Polle (Grundlagen von Datenbanken, 1999)

Threshold-based identity recovery for privacy enhanced applications. - Joachim Biskup; Ulrich Flegel (CCS, 2000)

Security Architecture of the Multimedia Mediator. - Christian Altenschmidt; Joachim Biskup; Yücel Karabulut (DBSec, 2000)

Panel. - Reind P. van de Riet; Raban Serban; Sylvia L. Osborn; Arnon Rosenthal; Vijayalakshmi Atluri; Joachim Biskup; Gio Wiederhold (DBSec, 2000)

On Pseudonymization of Audit Data for Intrusion Detection. - Joachim Biskup; Ulrich Flegel (Workshop on Design Issues in Anonymity and Unobservability, 2000)

Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints. - Joachim Biskup; Torsten Polle (FoIKS, 2000)

Mediated Information Gain. - Joachim Biskup; David W. Embley (IDEAS, 2000)

Transaction-Based Pseudonyms in Audit Data for Privacy Respecting Intrusion Detection. - Joachim Biskup; Ulrich Flegel (Recent Advances in Intrusion Detection, 2000)

For unknown secrecies refusal is better than lying. - Joachim Biskup (Data Knowl. Eng., 2000)

Sync Classes: A Framework for Optimal Scheduling of Requests in Multimedia Storage Servers. - Leana Golubchik; V. S. Subrahmanian; Sherry Marcus; Joachim Biskup (IEEE Trans. Knowl. Data Eng., 2000)

An Abstract Database Machine for Cost Driven Design of Object-Oriented Database Schemas. - Joachim Biskup; Ralf Menzel (ADBIS, 2001)

State-Dependent Security Decisions for Distributed Object-Systems. - Joachim Biskup; Thomas Leineweber (DBSec, 2001)

Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems. - Joachim Biskup; Barbara Sprick (Semantics in Databases, 2001)

Decomposition of object-oriented database schemas. - Joachim Biskup; Torsten Polle (Ann. Math. Artif. Intell., 2001)

Lying versus refusal for known potential secrets. - Joachim Biskup; Piero A. Bonatti (Data Knowl. Eng., 2001)

A Hybrid PKI Model: Application to Secure Mediation. - Joachim Biskup; Yücel Karabulut (DBSec, 2002)

Explicit Representation of Constrained Schema Mappings for Mediated Data Integration. - Christian Altenschmidt; Joachim Biskup (DNIS, 2002)

A Flexible Cost Model for Abstract Object-Oriented Database Schemas. - Joachim Biskup; Ralf Menzel (ER, 2002)

Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. - Joachim Biskup; Piero A. Bonatti (ESORICS, 2002)

Credential-basierte Zugriffskontrolle: Wurzeln und ein Ausblick. - Joachim Biskup (GI Jahrestagung, 2002)

Ausgleich von Datenschutz und Überwachung mit technischer Zweckbindung am Beispiel eines Pseudonymisierers. - Joachim Biskup; Ulrich Flegel (GI Jahrestagung, 2002)

Administration Rights in the SDSD-System. - Joachim Biskup; Thomas Leineweber; Joerg Parthe (DBSec, 2003)

Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. - Joachim Biskup; Torsten Polle (Acta Informatica, 2003)

Extracting information from heterogeneous information sources using ontologically specified target views. - Joachim Biskup; David W. Embley (Inf. Syst., 2003)

Secure Mediation: Requirements, Design, and Architecture. - Christian Altenschmidt; Joachim Biskup; Ulrich Flegel; Yücel Karabulut (J. Comput. Secur., 2003)

Refusal in Incomplete Databases. - Joachim Biskup; Torben Weibert (DBSec, 2004)

Towards a credential-based implementation of compound access control policies. - Joachim Biskup; Sandra Wortmann (SACMAT, 2004)

Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. - Joachim Biskup; Piero A. Bonatti (Ann. Math. Artif. Intell., 2004)

Controlled query evaluation for enforcing confidentiality in complete information systems. - Joachim Biskup; Piero A. Bonatti (Int. J. Inf. Sec., 2004)

Solving Equations in the Relational Algebra. - Joachim Biskup; Jan Paredaens; Thomas Schwentick; Jan Van den Bussche (SIAM J. Comput., 2004)

Secure Mediation with Mobile Code. - Joachim Biskup; Barbara Sprick; Lena Wiese (DBSec, 2005)

On Finding an Inference-Proof Complete Database for Controlled Query Evaluation. - Joachim Biskup; Lena Wiese (DBSec, 2006)

Optimising Abstract Object-Oriented Database Schemas. - Joachim Biskup; Ralf Menzel (ER, 2006)

Requirements of Information Reductions for Cooperating Intrusion Detection Agents. - Ulrich Flegel; Joachim Biskup (ETRICS, 2006)

Optimistic Anonymous Participation in Inter-organizational Workflow Instances. - Joachim Biskup; Joerg Parthe (ICISS, 2006)

Confidentiality Policies for Controlled Query Evaluation. - Joachim Biskup; Torben Weibert (DBSec, 2007)

Building a Tool for Cost-Based Design of Object-Oriented Database Schemas. - Joachim Biskup; Ralf Menzel (ER, 2007)

Secure Mediation of Join Queries by Processing Ciphertexts. - Joachim Biskup; Christian Tsatedem; Lena Wiese (ICDE Workshops, 2007)

Inference Control in Logic Databases as a Constraint Satisfaction Problem. - Joachim Biskup; Dominique Marc Burgard; Torben Weibert; Lena Wiese (ICISS, 2007)

Towards Secure Execution Orders for CompositeWeb Services. - Joachim Biskup; Barbara Carminati; Elena Ferrari 001; Frank Müller; Sandra Wortmann (ICWS, 2007)

Enforcing Confidentiality in Relational Databases by Reducing Inference Control to Access Control. - Joachim Biskup; Jan-Hendrik Lochner (ISC, 2007)

Controlled query evaluation with open queries for a decidable relational submodel. - Joachim Biskup; Piero A. Bonatti (Ann. Math. Artif. Intell., 2007)

A Trust- and Property-based Access Control Model. - Joachim Biskup; Julia Hielscher; Sandra Wortmann (STM@ESORICS, 2007)

08102 Working Group – Early Warning Systems. - Joachim Biskup; Bernhard M. Hämmerli; Michael Meier 001; Sebastian Schmerl; Jens Tölle; Michael Vogel (Network Attack Detection and Defense, 2008)

Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes. - Joachim Biskup; Sebastian Link (FoIKS, 2008)

Keeping secrets in incomplete databases. - Joachim Biskup; Torben Weibert (Int. J. Inf. Sec., 2008)

Reducing inference control to access control for normalized database schemas. - Joachim Biskup; David W. Embley; Jan-Hendrik Lochner (Inf. Process. Lett., 2008)

Preprocessing for controlled query evaluation with availability policy. - Joachim Biskup; Lena Wiese (J. Comput. Secur., 2008)

Security in Computing Systems - Challenges, Approaches and Solutions. - Joachim Biskup (Springer, 2009)

Towards Early Warning Systems - Challenges, Technologies and Architecture. - Martin Apel; Joachim Biskup; Ulrich Flegel; Michael Meier 001 (CRITIS, 2009)

Controlled Query Evaluation and Inference-Free View Updates. - Joachim Biskup; Jens Seiler; Torben Weibert (DBSec, 2009)

Requirements and Protocols for Inference-Proof Interactions in Information Systems. - Joachim Biskup; Christian Gogolin; Jens Seiler; Torben Weibert (ESORICS, 2009)

Combining Consistency and Confidentiality Requirements in First-Order Databases. - Joachim Biskup; Lena Wiese (ISC, 2009)

Optimization of the Controlled Evaluation of Closed Relational Queries. - Joachim Biskup; Jan-Hendrik Lochner; Sebastian Sonntag (SEC, 2009)

Chasing after Secrets in Relational Databases. - Joachim Biskup; Sven Hartmann; Sebastian Link; Jan-Hendrik Lochner (AMW, 2010)

Efficient Inference Control for Open Relational Queries. - Joachim Biskup; Sven Hartmann; Sebastian Link; Jan-Hendrik Lochner (DBSec, 2010)

Usability Confinement of Server Reactions: Maintaining Inference-Proof Client Views by Controlled Interaction Execution. - Joachim Biskup (DNIS, 2010)

Towards Controlled Query Evaluation for Incomplete First-Order Databases. - Joachim Biskup; Cornelia Tadros; Lena Wiese (FoIKS, 2010)

Policy-Based Secrecy in the Runs & Systems Framework and Controlled Query Evaluation. - Joachim Biskup; Cornelia Tadros (IWSEC (Short Papers), 2010)

Editorial ESORICS 2007. - Joachim Biskup; Javier López 001 (ACM Trans. Inf. Syst. Secur., 2010)

History-Dependent Inference Control of Queries by Dynamic Policy Adaption. - Joachim Biskup (DBSec, 2011)

Inference-Proof View Update Transactions with Minimal Refusals. - Joachim Biskup; Cornelia Tadros (DPM/SETOP, 2011)

On the Inference-Proofness of Database Fragmentation Satisfying Confidentiality Constraints. - Joachim Biskup; Marcel Preuß; Lena Wiese (ISC, 2011)

Appropriate inferences of data dependencies in relational databases. - Joachim Biskup; Sebastian Link (Ann. Math. Artif. Intell., 2011)

Inference-proof view update transactions with forwarded refreshments. - Joachim Biskup; Christian Gogolin; Jens Seiler; Torben Weibert (J. Comput. Secur., 2011)

A sound and complete model-generation procedure for consistent and confidentiality-preserving databases. - Joachim Biskup; Lena Wiese (Theor. Comput. Sci., 2011)

Inference Control. - Joachim Biskup (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Some Remarks on Relational Database Schemes Having Few Minimal Keys. - Joachim Biskup (Conceptual Modelling and Its Theoretical Foundations, 2012)

Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies. - Joachim Biskup; Sven Hartmann; Sebastian Link; Jan-Hendrik Lochner; Torsten Schlotmann (DBSec, 2012)

Revising Belief without Revealing Secrets. - Joachim Biskup; Cornelia Tadros (FoIKS, 2012)

Probabilistic Conditional Independence under Schema Certainty and Uncertainty. - Joachim Biskup; Sven Hartmann; Sebastian Link (SUM, 2012)

Inference-usability confinement by maintaining inference-proof views of an information system. - Joachim Biskup (Int. J. Comput. Sci. Eng., 2012)

Dynamic policy adaptation for inference control of queries to a propositional information system. - Joachim Biskup (J. Comput. Secur., 2012)

Database Fragmentation with Encryption: Under Which Semantic Constraints and A Priori Knowledge Can Two Keep a Secret? - Joachim Biskup; Marcel Preuß (DBSec, 2013)

Logic-Oriented Confidentiality Policies for Controlled Interaction Execution. - Joachim Biskup (DNIS, 2013)

Privacy through Uncertainty in Location-Based Services. - Shawn Merrill; Nilgun Basalp; Joachim Biskup; Erik Buchmann; Chris Clifton; Bart Kuijpers; Walied Othman; Erkay Savas (MDM (2), 2013)

On Inference-Proof View Processing of XML Documents. - Joachim Biskup; Lan Li (IEEE Trans. Dependable Secur. Comput., 2013)

Optimality and Complexity of Inference-Proof Data Filtering and CQE. - Joachim Biskup; Piero A. Bonatti; Clemente Galdi; Luigi Sauro (ESORICS (2), 2014)

Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services. - Joachim Biskup; Cornelia Tadros (ESSoS, 2014)

Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. - Joachim Biskup; Gabriele Kern-Isberner; Patrick Krümpelmann; Cornelia Tadros (FoIKS, 2014)

Inference-Proof Data Publishing by Minimally Weakening a Database Instance. - Joachim Biskup; Marcel Preuß (ICISS, 2014)

Confidentiality Preserving Evaluation of Open Relational Queries. - Joachim Biskup; Martin Bring; Michael Bulinski (ADBIS, 2015)

Constructing Inference-Proof Belief Mediators. - Joachim Biskup; Cornelia Tadros (DBSec, 2015)

Preserving confidentiality while reacting on iterated queries and belief revisions. - Joachim Biskup; Cornelia Tadros (Ann. Math. Artif. Intell., 2015)

On the Simulation Assumption for Controlled Interaction Processing. - Joachim Biskup; Cornelia Tadros (Computational Models of Rationality, 2016)

Controlled Management of Confidentiality-Preserving Relational Interactions. - Joachim Biskup; Ralf Menzel; Jaouad Zarouali (DPM/QASA@ESORICS, 2016)

Information Control by Policy-Based Relational Weakening Templates. - Joachim Biskup; Marcel Preuß (ESORICS (2), 2016)

Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution. - Joachim Biskup (FoIKS, 2016)

Inference-Proof Updating of a Weakened View Under the Modification of Input Parameters. - Joachim Biskup; Marcel Preuß (ESORICS (2), 2017)

Inference-proof Data Filtering for a Probabilistic Setting. - Joachim Biskup; Piero A. Bonatti; Clemente Galdi; Luigi Sauro (PrivOn@ISWC, 2017)

Confidentiality enforcement by hybrid control of information flows. - Joachim Biskup; Cornelia Tadros; Jaouad Zarouali (CoRR, 2017)

Inference control of open relational queries under closed-world semantics based on theorem proving. - Joachim Biskup; Martin Bring; Michael Bulinski (Inf. Syst., 2017)

Inferences from Attribute-Disjoint and Duplicate-Preserving Relational Fragmentations. - Joachim Biskup; Marcel Preuß (FoIKS, 2018)

Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations. - Joachim Biskup; Marcel Preuß (Ann. Math. Artif. Intell., 2019)

Publishing inference-proof relational data: An implementation and experiments. - Joachim Biskup; Christine Dahn; Katharina Diekmann; Ralf Menzel; Dirk Schalge; Lena Wiese (Data Knowl. Eng., 2019)

Can We Probabilistically Generate Uniformly Distributed Relation Instances Efficiently? - Joachim Biskup; Marcel Preuß (ADBIS, 2020)

Inference-Proof Monotonic Query Evaluation and View Generation Reconsidered. - Joachim Biskup (DBSec, 2020)

Keynote: Construction of Inference-Proof Agent Interactions. - Joachim Biskup (Mach. Learn. under Resour. Constraints Vol. 3 (3), 2022)

On Sampling Representatives of Relational Schemas with a Functional Dependency. - Maximilian Berens; Joachim Biskup (FoIKS, 2022)

Uniform probabilistic generation of relation instances satisfying a functional dependency. - Maximilian Berens; Joachim Biskup; Marcel Preuß (Inf. Syst., 2022)

Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies. - Joachim Biskup (FoIKS, 2024)