An efficient algorithm for 3NF determination

DOI10.1016/J.INS.2003.06.004zbMATH Open1094.68560OpenAlexW1975110618MaRDI QIDQ558039FDOQ558039

Authors: Peter B. Worland 

Publication date: 30 June 2005

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2003.06.004

Recommendations

• An efficient algorithm for the 3-satisfiability problem
• An improved generator for 3-CNF formulas
• scientific article; zbMATH DE number 5613969
• scientific article; zbMATH DE number 515744
• Guided Search and a Faster Deterministic Algorithm for 3-SAT
• An efficient fixed-parameter algorithm for 3-hitting set
• A numerical approach to 3-SAT
• Algorithms for \((n,3)\)-MAXSAT and parameterization above the all-true assignment
• An algorithm for reducibility of 3-arrangements
• Improved polynomial algorithm for 3-SAT

zbMATH Keywords

Candidate keyClosureFunctional dependencyPrime attributeRelationSuperkeyThird normal form

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Database theory (68P15)

Cites Work

• Candidate keys for relations
• Graph Algorithms for Functional Dependency Manipulation
• An Efficient Algorithm to Compute the Candidate Keys of a Relational Database Schema
• The complexity of recognizing 3NF relation schemes
• Title not available (Why is that?)

Cited In (3)

• Efficient algorithms for three variants of the LPF table
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: An efficient algorithm for 3NF determination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558039)