Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation
. 2023 Jan 1;39(1):btad001.
doi: 10.1093/bioinformatics/btad001.

A Boolean algebra for genetic variants

Affiliations

A Boolean algebra for genetic variants

Jonathan K Vis et al. Bioinformatics. .

Abstract

Motivation: Beyond identifying genetic variants, we introduce a set of Boolean relations, which allows for a comprehensive classification of the relations of every pair of variants by taking all minimal alignments into account. We present an efficient algorithm to compute these relations, including a novel way of efficiently computing all minimal alignments within the best theoretical complexity bounds.

Results: We show that these relations are common, and many non-trivial, for variants of the CFTR gene in dbSNP. Ultimately, we present an approach for the storing and indexing of variants in the context of a database that enables efficient querying for all these relations.

Availability and implementation: A Python implementation is available at https://github.com/mutalyzer/algebra/tree/v0.2.0 as well as an interface at https://mutalyzer.nl/algebra.

PubMed Disclaimer

Figures

Fig. 1.
Fig. 1.
The top panel shows alignments for two variants, GATCCTG and GATCTG, with the same reference sequence GAATCG, where the changes (*common to both, unique for one of them) suggest overlap. The bottom panel shows these same variants, but now obtained through different alignments, where the changes this time suggest that the left variant contains the right one
Fig. 2.
Fig. 2.
Computation matrix of the simple edit distance between R=CATATATCG and O=CTTATAGCAT. Matching symbols are annotated with a circle. The highlighted path shows one of the minimal alignments
Fig. 3.
Fig. 3.
Computing the elements of Equation (4) for R=CATATATCG and O=CTTATAGCAT to efficiently reconstruct the set of all minimal variant representations. (a) Expanded elements for f = 1 with rows=[1,2] and cols=[0,1,1]. (b) Expanded elements for f = 3 with rows=[2,3,4,5, 6,6,7] and cols=[1,2,3,3,4,5,6,6]. (c) Expanded elements for f = 5 with rows=[3,4,5,6, 7,7,8,8,9] and cols=[2,3,4,5,6,7,7,7,8,8]. (d) Expanded elements for f = 7 with rows=[4,5,6,7, 8,8,9,10,10,10] and cols=[3,4,5,6,7,8,8,9,9,9,9]
Fig. 4.
Fig. 4.
The LCS-graph for R=CATATATCG and O=CTTATAGCAT. The coordinates refer to the coordinates of the matching symbols in Figure 3. Unlabeled edges indicate consecutive matches and do not contribute to the set of elements of all minimal variant representations
Fig. 5.
Fig. 5.
Scatterplot of the average number of non-disjoint relations of all variants in CFTR with a certain maximal influence interval length
Fig. 6.
Fig. 6.
The distribution of the number of non-disjoint relations per variant. The long tail of counts of 11 and above are aggregated. The most relations a single variant has is 435

References

    1. 1000 Genomes Project Consortium (2015) A global reference for human genetic variation. Nature, 526, 68–74. - PMC - PubMed
    1. Allen J.F. (1983) Maintaining knowledge about temporal intervals. Commun. ACM, 26, 832–843.
    1. Allot A. et al. (2018) LitVar: a semantic search engine for linking genomic variant data in PubMed and PMC. Nucleic Acids Res., 46, W530–W536. - PMC - PubMed
    1. Backurs A., Indyk P. (2017) Edit distance cannot be computed in strongly subquadratic time (unless SETH is false). arXiv, arXiv:1412.0348, preprint: not peer reviewed. 10.48550/arXiv.1412.0348. - DOI
    1. Bayat A. et al. (2017) Improved VCF normalization for accurate VCF comparison. Bioinformatics, 33, 964–970. - PubMed