Search results for "normal form"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	C. J. Date, Ronald Fagin	Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	5NF, BCNF, Boyce-Codd normal form, PJ/NF, fifth normal form, fourth normal form 4NF, projection-join normal form, simple key, relational database, normalization, database design, functional dependency, multivalued dependency, join dependency
5	Ronald Fagin	Multivalued Dependencies and a New Normal Form for Relational Databases.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	3NF, 4NF, Boyce-Codd normal form, fourth normal form, relatioanl database, decomposition, normalization, database design, functional dependency, multivalued dependency, third normal form
3	Uwe Egly, Martina Seidl, Stefan Woltran	A solver for QBFs in negation normal form.	Constraints	2009	DBLP DOI BibTeX RDF	Negation normal form, Solver, QBFs
3	Wenying Zhang, Chuan-Kun Wu	The Algebraic Normal Form, Linear Complexity and k-Error Linear Complexity of Single-Cycle T-Function.	SETA	2006	DBLP DOI BibTeX RDF	Single-cycle T-function, Algebraic normal form, k-error complexity, Cryptography, Linear complexity
3	Peter J. Vassiliou	Efficient Construction of Contact Coordinates for PartialProlongations.	Foundations of Computational Mathematics	2006	DBLP DOI BibTeX RDF	Generalised Goursat normal form, Partial prolongation, Nonlinear control theory, Contact coordinates, Brunovsky normal form, Algorithm
3	Eric Hung-Yu Tseng, Jean-Luc Gaudiot	Automatic Array Partitioning Based on the Smith Normal Form.	International Journal of Parallel Programming	2005	DBLP DOI BibTeX RDF	Data partitioning, communication optimization, parallel loop, Smith-normal-form
3	Gerold Jäger	Reduction of Smith Normal Form Transformation Matrices.	Computing	2005	DBLP DOI BibTeX RDF	transformation matrices, lattice basis reduction, Smith normal form
3	Zoltán Ésik, Hans Leiß	Greibach Normal Form in Algebraically Complete Semirings.	CSL	2002	DBLP DOI BibTeX RDF	Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory
3	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Completeness for Linear Regular Negation Normal Form Inference Systems.	ISMIS	1997	DBLP DOI BibTeX RDF	tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence
3	Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky, Sushil Jajodia	Logical Design for Temporal Databases with Multiple Granularities.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Boyce-Codd normal form, graularity, temporal modules, temporal databases, normalization, temporal relations, third normal form
3	Wai Yin Mok, Yiu-Kai Ng, David W. Embley	A Normal Form for Precisely Characterizing Redundancy in Nested Relations.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	functional and multivalued dependencies, nested normal form, normalization theory, scheme trees, database design, nested relations, data redundancy
3	Edward Babb	Joined Normal Form: A Storage Encoding for Relational Databases.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	content addressing hardware, implication network, storage encoding tags, network, relational database, queries, mathematical model, updates, functional dependencies, joins, third normal form, CAFS
3	Tok Wang Ling, Frank Wm. Tompa, Tiko Kameda	An Improved Third Normal Form for Relational Databases.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	prime attribute, transitive dependency, reconstructibility, normalization, database design, functional dependency, covering, relational schema, third normal form
3	Ronald Fagin	A Normal Form for Relational Databases That Is Based on Domians and Keys.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	DK/NF, domain-key normal form, complexity, relational database, normalization, database design, functional dependency, anomaly, multivalued dependency, join dependency
3	Catriel Beeri, Philip A. Bernstein	Computational Problems Related to the Design of Normal Form Relational Schemas.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	derivation tree, membership algorithm, relational database, NP-complete, database design, function dependency, third normal form
3	Philip A. Bernstein	Synthesizing Third Normal Form Relations from Functional Dependencies.	ACM Trans. Database Syst.	1976	DBLP DOI BibTeX RDF	semantics of data, functional dependency, relational model, database schema, third normal form
2	Xin Jin, Mingyang Zhang, Nan Zhang 0004, Gautam Das	Versatile publishing for privacy preservation.	KDD	2010	DBLP DOI BibTeX RDF	guardian normal form, versatile publishing, decomposition, privacy preservation
2	Jorge Casillas, Pedro Martínez, Alicia D. Benítez	Learning consistent, complete and compact sets of fuzzy rules in conjunctive normal form for regression problems.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Regression problems, Flexible fuzzy rules, Interpretability constrains, Multiobjective optimization, Genetic fuzzy systems
2	François Ollivier	The reduction to normal form of a non-normal system of differential equations.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 12H05, 65-03, 65L80, 65L08, 90C27, 90C05
2	Kishan Chand Gupta, Palash Sarkar	Computing Partial Walsh Transform From the Algebraic Normal Form of a Boolean Function.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
2	Huibiao Zhu, Yongxin Zhao, Jifeng He	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
2	Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens	A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization.	BNCOD	2009	DBLP DOI BibTeX RDF
2	Kim Solin	A While Program Normal Form Theorem in Total Correctness.	RelMiCS	2009	DBLP DOI BibTeX RDF
2	Annamaria Bria, Wolfgang Faber, Nicola Leone	nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Jean Vuillemin, Nicolas Gama	Compact Normal Form for Regular Languages as Xor Automata.	CIAA	2009	DBLP DOI BibTeX RDF
2	Alexander D. Bruno, Victor F. Edneral	On Integrability of a Planar ODE System Near a Degenerate Stationary Point.	CASC	2009	DBLP DOI BibTeX RDF	local integrability, resonant normal form, power geometry, computer algebra, ordinary differential equations
2	YaLi Dong, JiaoJiao Fan, ShengWei Mei	Quadratic stabilization of switched nonlinear systems.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	switched nonlinear system, quadratic stabilization, uniform normal form, zero dynamics, common quadratic Lyapunov function
2	Salvador Nieto Sánchez, Evangelos Triantaphyllou	Optimization in Classifying Text Documents.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Indexing terms, Context descriptors, Document surrogate, Principle of least effort, PLE, One clause at a time algorithm, OCAT, Indexing vocabulary, Optimal indexing vocabulary, Semantic analysis methodologies, Word patterns, Text classification, Document classification, Computational linguistics, Vector space model, Keywords, Conjunctive normal form, CNF, Disjunctive normal form, DNF, VSM
2	Vetle I. Torvik, Evangelos Triantaphyllou	Inference of Monotone Boolean Functions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function
2	Evangelos Triantaphyllou, Jennifer Austin-Rodriguez	Optimization in Boolean Classification Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Inductive inference problem, Boolean classification problem, Minimum number of clauses, One clause at a time approach, OCAT, GRASP approach, Randomized heuristics, Missing information, Unclassifiable examples, SAT, Learning algorithm, Medical diagnosis, Conjunctive normal form, CNF, Satisfiability problem, Disjunctive normal form, DNF
2	Hongtao Huang	Detection of Disjunctive Normal Form Predicate in Distributed Systems.	ICDCN	2008	DBLP DOI BibTeX RDF
2	Nathan Huntley, Matthias C. M. Troffaes	An Efficient Normal Form Solution to Decision Trees with Lower Previsions.	SMPS	2008	DBLP DOI BibTeX RDF
2	Gang Zheng, Driss Boutat, Jean-Pierre Barbot	Geometrical conditions for output depending observability normal form.	CDC	2008	DBLP DOI BibTeX RDF
2	Michael Kaisers, Karl Tuyls, Frank Thuijsman, Simon Parsons	Auction Analysis by Normal Form Game Approximation.	IAT	2008	DBLP DOI BibTeX RDF
2	Annamaria Bria, Wolfgang Faber, Nicola Leone	Normal Form Nested Programs.	JELIA	2008	DBLP DOI BibTeX RDF
2	Xianchun Zou, Heng Zhang	An Algorithm for Weak Disjunctive Normal Form Reduction in G3 Logic.	CSSE	2008	DBLP DOI BibTeX RDF
2	Andrew Fish, Chris John, John Taylor	A Normal Form for Euler Diagrams with Shading.	Diagrams	2008	DBLP DOI BibTeX RDF
2	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation for Parametric Polymorphism.	LICS	2008	DBLP DOI BibTeX RDF	LTS, bisimulation, parametric polymorphism, typed lambda calculus
2	Kwangsu Lee, Jung Yeon Hwang, Dong Hoon Lee	Non-interactive Identity-Based DNF Signature Scheme and Its Extensions.	ICISC	2008	DBLP DOI BibTeX RDF	Signer Anonymity, Identity-Based Signature, Disjunctive Normal Form, Access Structure
2	Milan Petrík	Quine-McCluskey method for many-valued logical functions.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Logical circuit design, Many-valued logic, Normal form, Hardware design
2	Cong Yu, H. V. Jagadish	XML schema refinement through redundancy detection and normalization.	VLDB J.	2008	DBLP DOI BibTeX RDF	Schema design, XML, Functional dependency, Normal form, Data redundancy
2	Zhaohui Fu, Sharad Malik	Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions.	VLSI Design	2007	DBLP DOI BibTeX RDF
2	An Qiusheng, Gaoping Wang, Wenxiu Zhang	The Study of Normal Form of Relational Database Based on Rough Sets Theory.	GrC	2007	DBLP DOI BibTeX RDF
2	François Degrave, Wim Vanhoof	Towards a Normal Form for Mercury Programs.	LOPSTR	2007	DBLP DOI BibTeX RDF
2	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation.	CSL	2007	DBLP DOI BibTeX RDF
2	Tennyson X. Chen, Sean Shuangquan Liu, Martin D. Meyer, Donald Gotterbarn	An introduction to functional independency in relational database normalization.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	functional independency, relational database design, sub-domain dependency, decomposition, functional dependency, attribute, normal form
2	Xin Li, Marc Moreno Maza	Multithreaded parallel implementation of arithmetic operations modulo a triangular set.	PASCO	2007	DBLP DOI BibTeX RDF	algorithms, parallelization, polynomials, high-performance, normal form
2	Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang	An Interpreter for Framed Tempura and Its Application.	TASE	2007	DBLP DOI BibTeX RDF	temporal logic programming, projection, framing, normal form
2	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
2	Victor F. Edneral	An Algorithm for Construction of Normal Forms.	CASC	2007	DBLP DOI BibTeX RDF	resonant normal form, nonlinear ordinary differential equations, computer algebra
2	Henning Köhler	Finding Faithful Boyce-Codd Normal Form Decompositions.	AAIM	2006	DBLP DOI BibTeX RDF
2	Sven Hartmann, Sebastian Link	The Nested List Normal Form for Functional and Multivalued Dependencies.	FoIKS	2006	DBLP DOI BibTeX RDF
2	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
2	Vincent Conitzer, Tuomas Sandholm	A technique for reducing normal-form games to compute a Nash equilibrium.	AAMAS	2006	DBLP DOI BibTeX RDF	computing nash equilibria, game theory, preprocessing
2	Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov	Efficient Symmetry Breaking for Boolean Satisfiability.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	clause learning, satisfiability (SAT), symmetries, conjunctive normal form (CNF), Backtrack Search, graph automorphism
2	Deepak Kumar Dalai, Subhamoy Maitra	Reducing the Number of Homogeneous Linear Equations in Finding Annihilators.	SETA	2006	DBLP DOI BibTeX RDF	Algebraic Normal Form, Homogeneous Linear Equations, Boolean Functions, Algebraic Attacks, Annihilators
2	Tore Langholm	A descriptive characterisation of linear languages.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF	Linear languages, Greibach normal form, Descriptive complexity
2	Jiri Rohn	A Normal Form Supplement to the Oettli-Prager Theorem.	Reliable Computing	2005	DBLP DOI BibTeX RDF
2	Soren Lassen	Eager Normal Form Bisimulation.	LICS	2005	DBLP DOI BibTeX RDF
2	Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter	Prime Normal Form and Equivalence of Simple Grammars.	CIAA	2005	DBLP DOI BibTeX RDF
2	Bernard Mourrain	Generalized normal forms and polynomial system solving.	ISSAC	2005	DBLP DOI BibTeX RDF	quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding
2	Junhu Wang	Database Design with Equality-Generating Dependencies.	DASFAA	2005	DBLP DOI BibTeX RDF	equality-generating dependency, XML tree, normalization, database design, functional dependency, relations, normal form, data redundancy
2	Victor F. Edneral, Raya Khanin	Investigation of the Double Pendulum System by the Normal Form Method in MATHEMATICA.	Programming and Computer Software	2004	DBLP DOI BibTeX RDF
2	Marcelo Arenas, Leonid Libkin	A normal form for XML documents.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	design, functional dependencies, normal form, DTDs, XML data
2	Gerold Jäger	A New Algorithm for Computing the Smith Normal Form and Its Implementation on Parallel Machines.	IPDPS	2004	DBLP DOI BibTeX RDF
2	B. David Saunders, Zhendong Wan	Smith normal form of dense integer matrices fast algorithms into practice.	ISSAC	2004	DBLP DOI BibTeX RDF	integer matrix, smith normal form
2	Neil V. Murray, Erik Rosenthal	Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.	TABLEAUX	2003	DBLP DOI BibTeX RDF
2	Gerold Jäger	Parallel Algorithm for Computing the Smith Normal Form of Large Matrices.	PVM/MPI	2003	DBLP DOI BibTeX RDF
2	Jixue Liu, Millist W. Vincent	Containment and disjointedness in partitioned normal form relations.	Acta Inf.	2002	DBLP DOI BibTeX RDF
2	Madhu Mutyam, Kamala Krithivasan	Generalized normal form for rewriting P systems.	Acta Inf.	2002	DBLP DOI BibTeX RDF
2	Joseph Fong, Irene S. Y. Kwan, Margaret Ng, K. L. Lau	Fifth Normal Form Made Easy with Novel Web-Based CAI HCI.	ICWL	2002	DBLP DOI BibTeX RDF
2	Hans de Nivelle	Extraction of Proofs from the Clausal Normal Form Transformation.	CSL	2002	DBLP DOI BibTeX RDF
2	Marcelo Arenas, Leonid Libkin	A Normal Form for XML Documents. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
2	Pascal Caron, Marianne Flouret	Star Normal Form, Rational Expressions, and Glushkov WFAs Properties.	CIAA	2002	DBLP DOI BibTeX RDF
2	Adnan Darwiche	Decomposable negation normal form.	J. ACM	2001	DBLP DOI BibTeX RDF	Boolean functions, satisfiability, propositional logic, model-based diagnosis, knowledge compilation
2	Jens R. Woinowski	A Normal Form for Church-Rosser Language Systems.	RTA	2001	DBLP DOI BibTeX RDF
2	Xiaoying Wu, Tok Wang Ling, Sin Yeung Lee, Mong-Li Lee, Gillian Dobbie	NF-SS: A Normal Form for Semistructured Schema.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
2	Daniele Micciancio, Bogdan Warinschi	A linear space algorithm for computing the herite normal form.	ISSAC	2001	DBLP DOI BibTeX RDF
2	Mark Levene, Millist W. Vincent	Justification for Inclusion Dependency Normal Form.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Relational database design, functional dependency, normal forms, inclusion dependency
2	Yonghui Wu, Wenyun Ji, Aoying Zhou	Implementation and Proof for Normalization Design of Object-Oriented Data Schemes.	TOOLS	2000	DBLP DOI BibTeX RDF	Nested Relationship, Object Scheme Tree, Normal Object Scheme Forest, Object Normal Form, Redundancy, Normalization, Path, Object Dependency
2	Meike Klettke, Holger Meyer	XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics.	WebDB (Selected Papers)	2000	DBLP DOI BibTeX RDF	Partitioned Normal Form (PNF), XML, Mapping, DTD, Object-relational Databases
2	Bernard Mourrain	A New Criterion for Normal Form Algorithms.	AAECC	1999	DBLP DOI BibTeX RDF
2	Shinsuke Sugaya, Einoshin Suzuki	Normal Form Transformation for Object Recognition Based on Support Vector Machines.	Discovery Science	1999	DBLP DOI BibTeX RDF
2	Jenn-Yang Ke, Jong-Chuang Tsay	An Approach to Checking Link Conflicts in the Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Uniform dependence algorithms, lower dimensional arrays, link conflict, mixed integer linear programming, space-time mapping, Smith normal form, Hermite normal form
2	Eric Hung-Yu Tseng, Jean-Luc Gaudiot	Communication Generation for Aligned and Cyclic(K) Distributions Using Integer Lattice.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	message passing, HPF, communication optimizations, Distributed arrays, Smith-Normal-Form
2	Clemens Wagner 0002	Fast Parallel Hermite Normal Form Computation of Matrices over F[x].	Euro-Par	1998	DBLP DOI BibTeX RDF
2	Jürgen Albert, Dora Giammarresi, Derick Wood	Extended Context-Free Grammars and Normal Form Algorithms.	Workshop on Implementing Automata	1998	DBLP DOI BibTeX RDF
2	Mary Cryan, Allan Ramsay	Constructing a Normal Form for Property Theory.	CADE	1997	DBLP DOI BibTeX RDF
2	Robert Koch, Norbert Blum	Greibach Normal Form Transformation, Revisited.	STACS	1997	DBLP DOI BibTeX RDF
2	Paul G. Lucassen, Indra Polak, Jan Tijmen Udding	Normal Form in DI-Algebra with Recursion.	ASYNC	1997	DBLP DOI BibTeX RDF
2	Leila Silva, Augusto Sampaio, Edna Barros	A Normal Form Reduction Strategy for Hardware/Software Partitioning.	FME	1997	DBLP DOI BibTeX RDF
2	Ramamohan Paturi, Pavel Pudlák, Francis Zane	Satisfiability Coding Lemma.	FOCS	1997	DBLP DOI BibTeX RDF	satisfying assignments, satisfying assignment, Satisfiability Coding Lemma, computability, randomized algorithm, satisfiability, deterministic algorithm, conjunctive normal form, Boolean formulae
2	Alexander Bolotov, Michael Fisher	A Resolution Method For CTL Branching-Time Temporal Logic. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
2	Lawrence Peh, C. P. Tsang	Weight Sensitive Boolean Extraction Produces Compact Expressions.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	weight sensitivity, neural network, rule extraction, boolean expression, disjunctive normal form
2	Uwe Egly, Thomas Rath	On the Practical Value of Different Definitional Translations to Normal Form.	CADE	1996	DBLP DOI BibTeX RDF
2	Ken Mano, Mizuhito Ogawa	Unique Normal Form Property of Higher-Order Rewriting Systems.	ALP	1996	DBLP DOI BibTeX RDF
2	Jean-Pierre Jouannaud, Albert Rubio	A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form.	RTA	1996	DBLP DOI BibTeX RDF
2	Francis K. H. Quek, Meide Zhao	Inductive learning in hand pose recognition.	FG	1996	DBLP DOI BibTeX RDF	hand pose recognition, gestural systems, user hand anatomy, perspective effects, rulebase, disjunctive normal form formulae, rule-based induction system, flexible matching, inductive learning, learning by example
2	Agustin Fernández, José M. Llabería, Miguel Valero-García	Loop Transformation Using Nonunimodular Matrices.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	nonunimodular transformations, loop transformations, linear transformations, Iteration space, unimodular transformations, Hermite Normal Form
2	Tok Wang Ling, Ling-Ling Yan	NF-NR: A practical normal form for nested relations.	Journal of Systems Integration	1994	DBLP DOI BibTeX RDF	Entity-Relationship Approach, extended-functional dependency, normal forms, Nested relation